SVF-tools

Results 7 repositories owned by SVF-tools

SVF

1.3k
Stars
421
Forks
Watchers

Static Value-Flow Analysis Framework for Source Code

verified publisher icon SVF-tools

Teaching-Software-Analysis

180
Stars
110
Forks
Watchers

Teaching and Learning Software Analysis via SVF

verified publisher icon SVF-tools

SUPA

28
Stars
4
Forks
Watchers

SUPA

verified publisher icon SVF-tools

SVF-example

17
Stars
28
Forks
Watchers

An external project example using SVF as a library

verified publisher icon SVF-tools

Test-Suite

65
Stars
37
Forks
Watchers

PTABen: Micro-benchmark Suite for Pointer Analysis

verified publisher icon SVF-tools

Teaching-Software-Verification

30
Stars
20
Forks
Watchers

Teaching and Learning Software Verification via SVF

verified publisher icon SVF-tools

SVF-Teaching

18
Stars
3
Forks
Watchers

Learning and Teaching Software Analysis and Verification via SVF

verified publisher icon SVF-tools