Popular repositories

1. SVF Public

   Static Value-Flow Analysis Framework for Source Code

   C++ 950 330

2. Teaching-Software-Analysis Public template

   Teaching and Learning Software Analysis via SVF

   C++ 125 96

3. Test-Suite Public

   PTABen: Micro-benchmark Suite for Pointer Analysis

   C 55 30

4. SUPA Public

   SUPA

   26 5

5. SVF-example Public

   An external project example using SVF as a library

   C++ 15 14

6. Teaching-Software-Verification Public template

   Teaching and Learning Software Verification via SVF

   C++ 14 5