klee

  • chopshop：协议分析/解码器框架。
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • jad：Java反编译程序
  • GetDroid：一个恶意Android APK生成器（反弹Shell），并通过Ngrok沟通。
  • jeb-android：Android解压器。
  • afl：基于编译时仪器和遗传算法的安全引信
  • dissector：此代码解析ELF文件中的内部数据结构。它支持x86和x86_64架构，并在Linux下运行。
  • libc-database：数据库的libc偏移量，以简化利用。