Pinned Loading

1. lava-wasm lava-wasm Public

   Forked from panda-re/lava

   LAVA: Large-scale Automated Vulnerability Addition

   C++

2. sca-fuzzer sca-fuzzer Public

   Forked from microsoft/sca-fuzzer

   Revizor - a fuzzer that searches for microarchitectural leaks in CPUs

   Python

3. wasabi wasabi Public

   Forked from danleh/wasabi

   A dynamic analysis framework for WebAssembly programs.

   WebAssembly 1

4. OpenDDS-debloat OpenDDS-debloat Public

   Forked from OpenDDS/OpenDDS

   OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

   C++ 1

5. saw-script saw-script Public

   Forked from GaloisInc/saw-script

   The SAW scripting language.

   Haskell

6. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++