Popular repositories Loading

1. symcc symcc Public

   SymCC: efficient compiler-based symbolic execution

   C++ 854 147

2. symqemu symqemu Public

   SymQEMU: Compilation-based symbolic execution for binaries

   C 366 48

3. screaming_channels screaming_channels Public

   Radio Side-Channels in Mixed-Signal Chips

   C 152 22

4. lemon lemon Public

   eBPF Memory Dump Tool

   C 96 11

5. invscov invscov Public

   The Use of Likely Invariants as Feedback for Fuzzers

   C 93 11

6. hdd_firmware_tools hdd_firmware_tools Public

   Tools for viewing and extracting HDD firmware files

   Python 77 20