issues
search
secure-software-engineering
/
secucheck
Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
MIT License
16
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Error with dependencies
#10
MicheleSpina99
opened
1 year ago
0
Interprocedural analysis of a program is unsuccessful.
#9
dyd1024
closed
1 year ago
0
The result of ForwardQuery.
#8
dyd1024
opened
1 year ago
1
Does secucheck support inter-procedure analysis?
#7
dyd1024
opened
2 years ago
1
What does the "seeds" mean?
#6
dyd1024
opened
2 years ago
7
How do i run the demo project.
#5
dyd1024
opened
2 years ago
2
Does secucheck support taint-analysis for Android Apk?
#4
Xiangxingqian
opened
2 years ago
1
Analysis integration
#3
ranjithkris
closed
4 years ago
0
Implemented catalog for InternalFluentTQL
#2
ranjithkris
closed
4 years ago
0
Redundant checkbox item will behave incorrectly
#1
ranjithkris
closed
3 years ago
1