@SVF-tools
github

SVF-tools

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,632
  • Global Rank 18,977 (Top 0.7 %)
  • Followers 91
  • Registered over 7 years ago
  • Most used languages
    C++
         50.0 %
    TypeScript
         16.7 %
    CMake     8.3 %
    HTML
         8.3 %
    Python
         8.3 %
    C
         8.3 %

Top repositories

1

SVF

Static Value-Flow Analysis Framework for Source Code
C++
1,387
star
2

Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF
C++
190
star
3

Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis
C
70
star
4

Teaching-Software-Verification

Teaching and Learning Software Verification via SVF
C++
32
star
5

SUPA

SUPA
28
star
6

Software-Security-Analysis

Software Security Analysis Course
C++
25
star
7

SVF-Teaching

Learning and Teaching Software Analysis and Verification via SVF
22
star
8

SVF-example

An external project example using SVF as a library
CMake
19
star
9

WebSVF

WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
TypeScript
14
star
10

Simplified-STL

A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
C++
10
star
11

WebSVFSever

SVF Demonstration Server.
TypeScript
2
star
12

SVF-npm

SVF's npm support
C++
2
star
13

SVF-Python

Using SVF in Python Projects
Python
2
star
14

SVF-doxygen

https://svf-tools.github.io/SVF-doxygen/html
HTML
1
star