leena

  • yasca：多语言静态分析工具集。
  • binnavi：一种二进制分析IDE，允许检查、导航、编辑和注释控制流图和反汇编代码的调用图。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • afl：基于编译时仪器和遗传算法的安全引信
  • rbasefind：固件基址搜索工具。
  • slither：用Python 3编写的Solidity静态分析框架。
  • imagejs：将javascript打包成有效图像文件的小工具。
  • plasma-disasm：用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。