Popular repositories

1. SVF

   Static Value-Flow Analysis Framework for Source Code

   C++ 629 194

2. Test-Suite

   PTABen: Micro-benchmark Suite for Pointer Analysis

   C 49 21

3. SUPA

   SUPA

   24 6

4. SVF-Teaching Template

   Teaching and Learning Software Analysis via SVF

   C++ 23 20

5. SVF-example

   An external project example using SVF as a library

   C++ 9 9

6. WebSVF

   WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF

   C++ 7 6