Popular repositories Loading

1. SVA SVA Public

   Secure Virtual Architecture

   C++ 42 18

2. llvm-dsa llvm-dsa Public

   LLVM trunk with poolalloc trunk modified to compile only DSA

   C++ 12 6

3. safecode-llvm37 safecode-llvm37 Public

   Full LLVM 3.7 Source Code with SAFECode Project Committed

   C++ 11 7

4. bpfa bpfa Public

   Berkeley Packet Filter Assembler

   C 7 1

5. SecDev19 SecDev19 Public

   Tutorial code for SecDev 2019

   C++ 7 1

6. Pudding Pudding Public

   KCoFI Pudding: The formal proofs for the KCoFI system

   Coq 4 1