Tags

35 个页面

程序分析

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

探索Trail of Bits在O'Reilly安全大会上的尖端安全工具

优化提升后的Bitcode：死存储消除技术详解

软件中的“怪异机器”：漏洞利用的新前沿与自动化识别

在密码学原语上执行混合符号执行：Sandshrew工具解析

Siderophile：挖掘Rust代码库中的不安全代码靶点

优化提升后的Bitcode：死存储消除技术详解

超越工具之争：DARPA CGC挑战二进制文件如何重塑安全基准

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

Maat：让符号执行触手可及