Skip to content
使用 Binary Ninja 进行反向污点分析
blog.trailofbits.com | 博客 | #open-source | #fuzzing | #reverse-engineering | #fault-injection | #triage | #static-analysis | #taint-analysis | #binary-ninja | #reverse-taint-analysis | #krf | #crash-analysis
摘要
Trail of Bits 开源了 KRFAnalysis 静态分析工具集，利用 Binary Ninja 的 MLIL 静态单赋值形式做反向污点分析，自动定位其系统调用故障注入工具 KRF 触发崩溃的具体参数与代码路径，大幅减少人工分诊工作量。
- 发布时间
- 收录时间