secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.02k stars 293 forks source link

Is it possible to do forward analysis on sources to find all the paths without given sinks? #565

Open tangfy97 opened 1 year ago

tangfy97 commented 1 year ago

Hi!

I am analyzing some Android apps and want to check how specific data flows in the system. Motivated by issue 471, I wonder if it is possible to configure FlowDroid to find all the paths involving a source forwardly?

For example, in the small example below, can we find line 1, 2, 5?

source = a();
m = b(source);
...
...
c(m);

If possible, could you give me some instructions (e.g., which class I should take a look at or which method I should override)? Thanks in advance!