klee

  • expimp-lookup：在目录树中的所有可移植可执行文件中查找包含指定字符串的所有导出和导入名称。
  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • netzob：一种用于逆向工程、流量生成和通信协议模糊化的开源工具。
  • jd-gui：一个独立的图形工具，显示.class文件的Java源代码。
  • cminer：在PE文件中枚举代码洞穴的工具。
  • rp：一个完整的CPP编写工具，旨在查找PE/ELF/Mach-O x86/X64二进制文件中的ROP序列。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • dissector：此代码解析ELF文件中的内部数据结构。它支持x86和x86_64架构，并在Linux下运行。