cflow

  • leena：javascript的符号执行引擎
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • bandit：来自OpenStack security的Python安全linter
  • peach-fuzz：简单漏洞扫描框架。
  • valgrind：帮助查找程序内存管理问题的工具
  • stoq：用于企业级自动分析的开源框架。
  • splint：静态检查C程序安全漏洞和编码错误的工具
  • pscan：C源文件的有限问题扫描程序