Pinned Loading

1. bcov bcov Public

   Static instrumentation tool for efficient binary-level coverage analysis.

   C++ 145 9

2. spedi spedi Public

   Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.

   C++ 104 15

3. gosat gosat Public

   SMT solver for the theory of floating-point arithmetic

   C++ 25 8

4. llvm-pass-tutorial llvm-pass-tutorial Public

   A step-by-step tutorial for building an LLVM sample pass

   CMake 213 99

5. sygus-tools/tychon sygus-tools/tychon Public

   SyGuS solver for programming-by-example

   C++ 8 1

6. capstone-engine/capstone capstone-engine/capstone Public

   Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

   C 7.6k 1.6k