smalisca

  • leenajavascript的符号执行引擎
  • kalibrate-rtlfork of http://thre.at/kalibrate/用于RTL SDR设备。
  • phonesploit亚行开发工具。
  • splint静态检查C程序安全漏洞和编码错误的工具
  • pyaxmlparser一个解析Android XML文件的简单解析器。
  • semgrep多种语言的轻量级静态分析。
  • pfff用于代码分析、可视化和转换的工具和API
  • stoq用于企业级自动分析的开源框架。