Popular repositories Loading

1. SVF SVF Public

   Static Value-Flow Analysis Framework for Source Code

   C++ 1.7k 499

2. Software-Analysis-Studio Software-Analysis-Studio Public template

   Teaching and Learning Software Analysis via SVF

   C++ 218 153

3. Software-Security-Analysis Software-Security-Analysis Public

   Static Analysis Course

   LLVM 102 39

4. Test-Suite Test-Suite Public

   PTABen: Micro-benchmark Suite for Pointer Analysis

   C 85 48

5. Teaching-Software-Verification Teaching-Software-Verification Public template

   Teaching and Learning Software Verification via SVF

   C++ 36 33

6. SUPA SUPA Public

   SUPA

   27 3