用 Rust 编写的 Nervos CKB 智能合约静态安全分析器，检测常见漏洞（重入、整数溢出、权限错误等），生成 HTML 报告，支持自定义规则，开源 MIT 协议。