SVF-tools/Software-Security-Analysis SVF-tools/Software-Security-Analysis

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created 7 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SVF-tools/Software-Security-Analysis
github

SVF-tools

Reviews

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

Repository Details

Software Security Analysis Course

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

SVF-Teaching

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

SVF-example

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

WebSVF

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

Simplified-STL

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

WebSVFSever

SVF Demonstration Server.
TypeScript
2
star
11

SVF-npm

SVF's npm support
C++
2
star
12

SVF-Python

Using SVF in Python Projects
Python
2
star
13

SVF-doxygen

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