3 results found Sort:

staticafi
symbiotic staticafi
55
313
mit
13
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain
Created 2014-12-30
2,052 commits to main branch, last one 23 days ago
mistupv
JavaSlicer mistupv
18
58
agpl-3.0
6
A program slicer for Java, based on the system dependence graph (SDG).
sdg slicer program-slicing static-analysis dependence-graph
Created 2019-02-18
379 commits to develop branch, last one 2 years ago
flowr-analysis
flowr flowr-analysis
3
35
gpl-3.0
2
A program slicer and dataflow analyzer for the R programming language.
r program-slicing static-analyzer dataflow-analysis static-program-analysis
Created 2023-04-07
3,299 commits to main branch, last one 21 hours ago