klee

  • bokken：Radare2和Pyew的GUI。
  • ms-sys：编写win9x-.Linux下的主引导记录（MBR）-RTM！
  • nili：网络扫描工具，中间人，协议反向工程和模糊。
  • ffdec：开源FlashSWF反编译器和编辑器。
  • elfparser：跨平台ELF分析。
  • pwndbg：使用gdb进行调试变得不那么糟糕。
  • ghidra：一套软件逆向工程（SRE）工具，由NSA的研究理事会开发，以支持网络安全任务。
  • flasm：SWF字节码反汇编工具