klee

  • afl：基于编译时仪器和遗传算法的安全引信
  • libc-database：数据库的libc偏移量，以简化利用。
  • damm：内存中恶意软件的差异分析。
  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。
  • dynamorio：动态二进制检测框架。
  • ida-free：世界上最聪明、功能最全的反汇编程序的免费版本。
  • malscan：一个简单的PE文件启发式扫描仪。
  • wxhexeditor：一个用于Linux、Windows和MacOSX的免费十六进制编辑器/磁盘编辑器。