Giters
SVF-tools

SVF-tools

Geek Repo

107

followers

0

following

1

stars

Github PK Tool:Github PK Tool

SVF-tools's repositories

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:1393Issues:57Issues:582

Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

Language:C++License:GPL-3.0Stargazers:192Issues:24Issues:8

Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

Language:CStargazers:70Issues:7Issues:19

Teaching-Software-Verification

Teaching and Learning Software Verification via SVF

Language:C++License:GPL-3.0Stargazers:32Issues:4Issues:0

SUPA

SUPA

License:GPL-3.0Stargazers:28Issues:2Issues:12

Software-Security-Analysis

Software Security Analysis Course

Language:C++License:GPL-3.0Stargazers:27Issues:3Issues:2

SVF-Teaching

Learning and Teaching Software Analysis and Verification via SVF

Stargazers:22Issues:3Issues:1

SVF-example

An external project example using SVF as a library

Language:CMakeStargazers:19Issues:4Issues:8

WebSVF

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

Language:TypeScriptStargazers:14Issues:7Issues:1

Simplified-STL

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

Language:C++Stargazers:11Issues:4Issues:0

SVF-npm

SVF's npm support

Language:C++License:LGPL-2.1Stargazers:2Issues:1Issues:0

SVF-Python

Using SVF in Python Projects

Language:PythonStargazers:2Issues:4Issues:0

SVF-doxygen

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

Language:HTMLStargazers:1Issues:3Issues:0

SVF-Java-example

Using SVF in Java Projects

Language:JavaStargazers:0Issues:4Issues:0