Tags

35 个页面

程序分析

LLVM安全新纪元：MLIR革命与编译器技术前沿洞察

Rust代码安全分析工具Siderophile：自动检测unsafe代码漏洞

2016年网络安全技术突破与工具发布回顾

Maat：让符号执行变得简单高效

代码变更差异成本计算技术解析

超越DECREE：多平台挑战二进制文件如何重塑漏洞挖掘基准

如何让老旧GPU重获新生？探索GPU在安全分析与程序优化中的创新应用

深入解析Binary Ninja的低级中间语言(LLIL)

Siderophile：暴露你的Rust代码库中的不安全代码

利用DARPA的CFAR技术保护软件免受攻击