Pinned

1. bcov bcov Public

   Static instrumentation tool for efficient binary-level coverage analysis.

   C++ 142 9

2. spedi spedi Public

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

   C++ 102 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 199 96

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, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Web…

   C 7.1k 1.5k