Skip to content
使用 Binary Ninja 进行漏洞建模
blog.trailofbits.com | 漏洞 | #vulnerability-research | #binary-analysis | #openssl | #static-analysis | #binary-ninja | #symbolic-execution | #heartbleed | #theorem-proving
摘要
Trail of Bits 演示基于 Binary Ninja 的漏洞建模：借助 MLIL 与 SSA 形式将二进制中 Heartbleed 类缺失长度校验问题转化为 z3 可解约束，实现无源码环境下的自动化漏洞发现。
- 发布时间
- 收录时间