Pinned Loading

1. aspire-project/chisel aspire-project/chisel Public

   A System for Debloating C/C++ Programs

   C++ 30 9

2. CodeTrek CodeTrek Public

   A powerful relational representation of source code

   Python 26 5

3. CodeTrekOrg/codetrek-core CodeTrekOrg/codetrek-core Public

   Python 1

4. pacjam pacjam Public

   Python 1

5. microsoft/checkedc-clang microsoft/checkedc-clang Public

   This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

   494 79

6. CertiKProject/slither-certik CertiKProject/slither-certik Public

   Forked from crytic/slither

   CertiK fork of Slither Analyzer

   Python 2 1