Tags
92 个页面
静态分析
Circomspect：零知识证明电路的安全审计利器
Macroni：基于宏和MLIR的C语言渐进式增强方案
Trail of Bits在ICSE 2019：静态分析、模糊测试与区块链技术前沿
使用多级中间表示(MLIR)和VAST在C代码中查找漏洞
交互式反编译工具rellic-xref解析 - 深入LLVM模块与C代码的关联分析
Electronegativity重磅发布！首款Electron应用安全检测工具问世
使用CodeReason对原生程序进行语义分析 - 揭秘二进制逆向工程
使用CodeQL检测C++迭代器失效问题
使用Binary Ninja逆向C++虚函数调用
使用CodeQL检测未处理的错误代码
1
…
6
7
8
…
10