5 results found Sort:

440
1.5k
other
56
Static Value-Flow Analysis Framework for Source Code
Created 2015-06-05
4,283 commits to master branch, last one a day ago
135
495
mit
20
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Created 2015-02-19
3,181 commits to master branch, last one 2 years ago
19
331
gpl-3.0
7
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Created 2022-03-23
73 commits to main branch, last one about a year ago
127
285
unknown
24
Static program analysis for TIP
Created 2013-11-21
27 commits to master branch, last one 3 years ago
Teaching and Learning Software Analysis via SVF
Created 2020-12-30
265 commits to main branch, last one 2 days ago