search

secure-software-engineering / FlowDroid

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

What is the termination condition of FlowDroid? #536

Closed mmc20520 closed 1 year ago

mmc20520 commented 1 year ago

Hi @StevenArzt

Suppose I have 3 sources (A,B,C) and 3 sinks (I, J, K).

The ground truth leaks are (A => J, B => K, and C => K) and suppose all of them are easy for FlowDroid to find.

Will FlowDroid terminates the analysis if it finds any of the leaks (e.g., A=>J) or it finds all of the leaks (e.g., A => J, B => K, and C => K)?

Thanks in advance.

StevenArzt commented 1 year ago

FlowDroid will try to find all leaks, unless you specify that it shall stop after N leaks using the configuration. The default is to find all leaks.

mmc20520 commented 1 year ago

Thanks for your answer.

Have a nice day.