Beast code in Giters

SVF-tools's repositories

Static Value-Flow Analysis Framework for Source Code

Language:C++NOASSERTION1327 56 552

Teaching and Learning Software Analysis via SVF

Language:C++GPL-3.0180 23 7

PTABen: Micro-benchmark Suite for Pointer Analysis

Language:C68 6 19

Teaching and Learning Software Verification via SVF

Language:C++GPL-3.030 30

GPL-3.028 2 12

Learning and Teaching Software Analysis and Verification via SVF

An external project example using SVF as a library

Language:CMake18 3 7

Software Security Analysis Course

Language:C++GPL-3.01100

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

Language:TypeScript11 7 1

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

Language:C++9 30

SVF's npm support

Language:C++LGPL-2.12 10

Using SVF in Python Projects

Language:Python1 40

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

Language:HTML020

Using SVF in Java Projects

Language:Java040