Tags
92 个页面
静态分析
首个Vyper审计：探索区块链语言的安全边界
迈向透明可变的二进制反汇编器：Dr. Disassembler的技术探索
发布Trail of Bits的CodeQL查询：提升Go与C/C++代码安全检测
Circomspect：零知识证明开发中的静态分析利器
ICSE 2019 技术亮点回顾：静态分析、模糊测试与区块链安全
ICSE 2019 技术亮点回顾：静态分析、模糊测试与区块链安全
交互式反编译利器：rellic-xref 技术解析
使用Binary Ninja进行漏洞建模：自动化发现Heartbleed漏洞
二进制安全优化实战：编译器行为与代码重用漏洞分析
使用Semgrep加固机器学习代码安全：发现并修复11种常见漏洞
1
2
…
10