klee

  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。
  • manticore：符号执行工具。
  • 基于C#的反向Shell：HTTP协议的异步反向Shell/反弹Shell
  • analyzepesig：分析PE文件的数字签名。
  • bagbak：另一个基于frida的应用解密程序。
  • origami：旨在提供脚本工具来生成和分析恶意PDF文件。
  • upx：终极可执行压缩程序。
  • dnspy：.NET调试器和程序集编辑器。