valgrind

  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • smalisca：SMALI文件的静态代码分析。
  • hyperion-crypter：32位可移植可执行文件的运行时加密程序。
  • slither：用Python 3编写的Solidity静态分析框架。
  • eresi：ERESI逆向工程软件接口。
  • periscope：一个PE文件检查工具。
  • de4dot：.NET除臭剂和解包器。
  • devaudit：一个面向开发人员和团队的开源、跨平台、多用途安全审计工具。