klee

  • saleae-logic：我很高兴。
  • bindead：二进制文件的静态分析工具
  • frida-ios-dump：从越狱设备中提取解密的ipa。
  • innounp：Inno安装解包。
  • pintool：该工具可用于解决CTFS事件中的一些逆向挑战。
  • Dwarf：基于Pyqt5和Frida的全功能多架构/OS逆向工程调试器。
  • apkstudio：一个用于反编译/编辑的IDE，然后重新编译Android应用程序二进制文件。
  • upx：终极可执行压缩程序。