Popular repositories

1. symcc symcc Public

   SymCC: efficient compiler-based symbolic execution

   C++ 754 134

2. symqemu symqemu Public

   SymQEMU: Compilation-based symbolic execution for binaries

   C 303 39

3. screaming_channels screaming_channels Public

   Radio Side-Channels in Mixed-Signal Chips

   C 140 18

4. invscov invscov Public

   The Use of Likely Invariants as Feedback for Fuzzers

   C 79 8

5. hdd_firmware_tools hdd_firmware_tools Public

   Tools for viewing and extracting HDD firmware files

   Python 70 19

6. actaeon actaeon Public

   Memory forensics of virtualization environments

   Python 45 21