Popular repositories Loading

1. kleespectre kleespectre Public

   KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

   C 33 12

2. oo7 oo7 Public

   oo7, a binary analysis tool to defend against Spectre vulnerabilities

   OCaml 32 3

3. j2c j2c Public

   Forked from arnetheduck/j2c

   Java to C++ translator

   Java

4. Meltdown Meltdown Public

   Forked from RealJTG/Meltdown

   Meltdown PoC for reading passwords from Google Chrome.

   C

5. Meltdown-1 Meltdown-1 Public

   Forked from bb33bb/Meltdown

   Meltdown POC for reading passwords from Mozilla Firefox

   C

6. meltdown-2 meltdown-2 Public

   Forked from deeptechlabs/meltdown

   Local Exploit for Meltdown

   C