6 results found Sort:

python-security
pyt python-security
244
2.2k
gpl-2.0
68
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
pyt flask taint python python3 dataflow security fixed-point taint-analysis abstract-syntax static-analysis program-analysis dataflow-analysis control-flow-graph abstract-syntax-tree fixed-point-analysis static-code-analysis
Created 2016-10-26
1,576 commits to master branch, last one 4 years ago
wala
WALA wala
225
771
epl-2.0
30
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
java android slicing callgraph javascript static-analysis pointer-analysis program-analysis dataflow-analysis static-code-analysis
Created 2012-04-05
7,284 commits to master branch, last one 9 days ago
soot-oss
SootUp soot-oss
82
610
lgpl-2.1
14
A new version of Soot with a completely overhauled architecture
java soot jimple android bytecode call-graph static-analysis program-analysis dataflow-analysis static-code-analysis
Created 2018-03-01
7,049 commits to develop branch, last one about a month ago
mattzeunert
FromJS mattzeunert
19
539
mit
12
See where each character on the screen came from in code.
debugging dynamic-analysis dataflow-analysis
Created 2016-06-22
2,591 commits to master branch, last one 3 years ago
trailofbits
polytracker trailofbits
45
538
apache-2.0
38
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
llvm taint-analysis taint-tracking instrumentation dataflow-analysis
Created 2019-10-31
2,335 commits to master branch, last one 24 days ago
flowr-analysis
flowr flowr-analysis
3
36
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,354 commits to main branch, last one 10 days ago