Tags

35 个页面

静态分析

Trail of Bits发布《测试手册》——聚焦Semgrep静态分析工具与CI/CD优化

使用Binary Ninja进行反向污点分析 - 追踪程序崩溃根源

Magnifier：交互式反编译的实验性工具

Circomspect工具正式集成至Sindri CLI——零知识证明电路开发迎来安全增强

McSema二进制转LLVM比特码工具重大升级