issues
search
secure-software-engineering
/
FlowDroid
FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.02k
stars
292
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Respect killSource
#649
timll
closed
9 months ago
0
Apply identity if no *concrete* callee is available
#648
timll
closed
9 months ago
0
Update BinaryAndroidApplication.java
#647
firmianay
closed
9 months ago
5
Fix 'cannot set body for non-concrete method!' exception
#646
timll
closed
9 months ago
0
Fix XML callbacks on newer android api versions
#645
timll
closed
9 months ago
0
Do not enumerate all callsites
#644
MarcMil
closed
9 months ago
0
Replace expensive contains on unit chain with icfg query
#643
MarcMil
closed
9 months ago
0
Increase worklist size to ensure the ArrayList does not need to grow
#642
MarcMil
closed
9 months ago
0
Why can't FlowDroid detect leakage in InsecureBank.apk?
#641
dabeiz
closed
9 months ago
11
How do XML base and param sources work?
#640
CalixBarrus
opened
10 months ago
1
Fix mixup of gap return flow with non-return taints in StubDroid
#639
timll
closed
10 months ago
0
Prevent extremly unlikely race between IFDS solver and FRPS handler i…
#638
timll
closed
10 months ago
0
Does CVE-2015-3156 and CVE-2021-32754 has an effect on soot-infoflow 2.10.0
#637
zhchhawks
opened
10 months ago
2
introduce getLifecycleMethods
#636
ruffer-j
closed
10 months ago
0
parse failed
#635
tyousyuka
opened
11 months ago
5
How can I get the iccModel?
#634
tyousyuka
opened
11 months ago
3
Share the incoming set between solvers in a peer group instead mainta…
#633
timll
closed
11 months ago
0
Error in install progress
#632
hannuri-k
closed
11 months ago
9
Fix SummaryTaintWrapper not applying the identity on exclusive methods
#631
timll
closed
11 months ago
0
Fix getSinkInfo returning no defs
#630
timll
closed
12 months ago
0
Entry Point
#629
juLialily
closed
1 year ago
2
Sparse IFDS solver
#628
timll
closed
1 year ago
0
Build Failure From Maven Caused by jakarta.servlet-api
#627
wcphkust
closed
1 year ago
2
Having problems defining flows for cryptographic functions
#626
Olasergiolas
opened
1 year ago
5
What's the meaning of the configuration parameter 'max access path length'?
#625
crawls-hub
opened
1 year ago
2
Address issue #622: merge FPC into FlowDroid
#624
guiyj
closed
1 year ago
0
StubDroid: do not apply identity on unhandled methods
#623
timll
closed
1 year ago
2
Request for merging our tool (FPC) into FlowDroid
#622
DongjieHe
closed
1 year ago
2
Improve aliasing problem
#621
timll
closed
1 year ago
0
StubDroid: Also compact aliasing flows
#620
timll
closed
1 year ago
0
Some artifacts of version 2.11.0 and 2.11.1 in Maven Central are defect
#619
jpstotz
closed
11 months ago
3
Various fixes
#618
timll
closed
1 year ago
0
Fix Map#clear() summary
#617
timll
closed
1 year ago
0
Small fixes
#616
timll
closed
1 year ago
0
Previous Version FlowDroid Jar Apply
#615
MoranLian
closed
1 year ago
2
Fix mistake
#614
timll
closed
1 year ago
0
Problem with propagating inactive abstraction
#613
qdw1987
closed
1 year ago
2
Streamline handling of type hierarchy provided by taint wrappers
#612
timll
closed
1 year ago
0
Sparse Analysis Optimization Of Low Code Intrusion
#611
notify-bibi
opened
1 year ago
2
Fix iterator summary and add new test case
#610
timll
closed
1 year ago
1
Fix various "Primitive types cannot have fields" warnings observed in real-world apps
#609
timll
closed
1 year ago
0
Fixes we deployed during eval
#608
timll
closed
1 year ago
0
Hopefully the path is portable now
#607
timll
closed
1 year ago
0
Fix errors
#606
timll
closed
1 year ago
0
Allow multiple definitions for the same method/field/statement
#605
timll
closed
1 year ago
0
Fix aliasing of the forward analysis
#604
timll
closed
1 year ago
0
Taint path
#603
OlesiaSub
opened
1 year ago
1
Fix flow sensitive aliasing
#602
timll
closed
1 year ago
0
FlowDroid with EPICC
#601
NicolasFNino
opened
1 year ago
1
Design my own source and sinks
#600
TDklm
opened
1 year ago
3
Previous
Next