Tags

35 个页面

程序分析

探索软件中的“怪异机器”：漏洞利用与程序分析新视角

检测不良OpenSSL使用模式：Anselm工具的技术解析

深入解析Binary Ninja的低级中间语言（LLIL）

利用变异体提升Slither：静态分析工具的进阶之路

Manticore：面向人类的符号执行工具

挑战二进制文件：DARPA CGC如何革新程序分析工具评测标准

探索软件中的“怪异机器”：漏洞利用与程序分析新视角

揭秘符号执行：mcsema与KLEE联手破解二进制迷宫

驯服文件解析风险的两款新工具：PolyFile与PolyTracker

探索我们的安全工具：在O'Reilly安全大会上与Trail of Bits会面