45.9k
调试器
一个用于 Windows 的开源 x64/x32 调试器。（An open-source x64/x32 debugge...
12.7k
开发工具
一个基于社区 Ruby 风格指南的 Ruby 静态代码分析器和格式化器。「A Ruby static code anal...
3.7k
Python
Symbolic execution tool
7k
未分类
Performant type-checking for python.
4k
Python
Security analysis tool for EVM bytecode. Supports smart cont...
静态分析
适用于 Go 的 CodeQL 提取器和库。「The CodeQL extractor and libraries fo...
