bof-detector

  • whispers：识别硬编码的秘密和危险行为。
  • slither：用Python 3编写的Solidity静态分析框架。
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • tell-me-your-secrets：在任何机器上从120多个不同的签名中查找秘密。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • stoq：用于企业级自动分析的开源框架。
  • cppcheck：一种静态C/C++代码分析工具