Tags

35 个页面

静态分析

30条新Semgrep规则发布：涵盖Ansible、Java、Kotlin和Shell脚本等场景

Trail of Bits发布测试手册：Semgrep静态分析工具实战指南

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

Circomspect：零知识证明电路的安全审计利器

Macroni：基于宏和MLIR的C语言渐进式增强方案

Trail of Bits在ICSE 2019：静态分析、模糊测试与区块链技术前沿

使用多级中间表示(MLIR)和VAST在C代码中查找漏洞

交互式反编译工具rellic-xref解析 - 深入LLVM模块与C代码的关联分析

Electronegativity重磅发布！首款Electron应用安全检测工具问世

使用CodeReason对原生程序进行语义分析 - 揭秘二进制逆向工程