angr

  • ms-sys：编写win9x-.Linux下的主引导记录（MBR）-RTM！
  • sgn：Shikata ga-nai编码器移植到go中，并进行了一些改进。
  • dynamorio：动态二进制检测框架。
  • pin：动态二进制检测工具。
  • lief：库到仪器的可执行格式。
  • binnavi：一种二进制分析IDE，允许检查、导航、编辑和注释控制流图和反汇编代码的调用图。
  • jdeserialize：解释Java序列化对象的库。它还附带了一个命令行工具，可以生成可编译的类声明、提取块数据和打印实例值的文本表示。
  • pintool：该工具可用于解决CTFS事件中的一些逆向挑战。