Popular repositories Loading

1. symcc symcc Public

   SymCC: efficient compiler-based symbolic execution

   C++ 788 138

2. symqemu symqemu Public

   SymQEMU: Compilation-based symbolic execution for binaries

   C 329 44

3. screaming_channels screaming_channels Public

   Radio Side-Channels in Mixed-Signal Chips

   C 143 19

4. invscov invscov Public

   The Use of Likely Invariants as Feedback for Fuzzers

   C 86 8

5. hdd_firmware_tools hdd_firmware_tools Public

   Tools for viewing and extracting HDD firmware files

   Python 71 19

6. actaeon actaeon Public

   Memory forensics of virtualization environments

   Python 45 21