Pinned Loading

1. klee klee Public

   Forked from klee/klee

   KLEE Symbolic Execution Engine

   C++

2. mcsema mcsema Public

   Forked from lifting-bits/mcsema

   Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

   Python

3. ReFirmLabs/binwalk ReFirmLabs/binwalk Public

   Firmware Analysis Tool

   Rust 13.5k 1.8k

4. PAGalaxyLab/vxhunter PAGalaxyLab/vxhunter Public

   ToolSet for VxWorks Based Embedded Device Analyses

   Python 371 79

5. cramfs-tools cramfs-tools Public

   C

6. qiling qiling Public

   Forked from qilingframework/qiling

   A True Instrumentable Binary Emulation Framework

   Python