klee

  • apkstudio：一个用于反编译/编辑的IDE，然后重新编译Android应用程序二进制文件。
  • dotpeek：免费的.NET反编译程序和程序集浏览器。
  • lief：库到仪器的可执行格式。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • peda：python利用gdb的开发辅助
  • voltron：gdb、lldb和vivisec的vdb的用户界面。
  • distorm：用于x86/AMD64的强大反汇编程序库
  • qbdi：基于LLVM的动态二进制检测框架。