SVF-tools/SVF-Python SVF-tools/SVF-Python

  • Stars
    star
    2
  • Language
    Python
  • Created almost 3 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SVF-tools/SVF-Python
github

SVF-tools

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Using SVF in Python Projects

More 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-doxygen

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