Popular repositories Loading

1. find-heartbleed find-heartbleed Public

   clang checker to find heartbleed

   C 85 16

2. crab-clang crab-clang Public

   translate clang AST into CRAB

   C++ 6 1

3. afl-pred afl-pred Public

   C 1

4. squadlog squadlog Public

   Rust 1

5. checkedc-clang checkedc-clang Public

   Forked from checkedc/checkedc-clang

   This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bo…

   C++

6. crash-scripts crash-scripts Public

   Python