6 results found Sort:

python-security
pyt python-security
238
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
223
763
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,276 commits to master branch, last one a day ago
soot-oss
SootUp soot-oss
81
590
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 7 days ago
mattzeunert
FromJS mattzeunert
19
540
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
46
533
apache-2.0
39
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,326 commits to master branch, last one 2 days 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