Skip to content

Commit da84b98

Browse files
committed
Merge branch 'master' of github.com:secure-software-engineering/FlowDroid into develop
2 parents 1578f88 + a1804e1 commit da84b98

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

README.MD

+15
Original file line numberDiff line numberDiff line change
@@ -73,6 +73,21 @@ issues, you can use our default file "SourcesAndSinks.txt" in the "soot-infoflow
7373
For finding out about the other options of the command-line tool, you can run the tool with the "--help" option or have a look at
7474
the MainClass.initializeCommandLineOptions()" method in the source code (module soot-infoflow-cmd).
7575

76+
### Configuring FlowDroid for Performance
77+
78+
For some apps, FlowDroid will take very long for large apps. There are various options with which you can configure a tradeoff between performance, precision and recall.
79+
80+
* ```-ns``` Do not track taints on static fields and disregard static initializers.
81+
* ```-ne``` Do not track exceptional flows.
82+
83+
You can also define timeouts:
84+
85+
* ```-dt N``` Aborts the data flow analysis after N seconds and returns the results obtained so far.
86+
* ```-ct N``` Aborts the callback collection during callgraph construction after N seconds and continues with the (incomplete) callgraph constructed so far.
87+
* ```-rt N``` Aborts the result collection after N seconds and returns the results obtained so far.
88+
89+
Note that timeouts are additive. All three stages must complete or run into a timeout for the tool to return and deliver results.
90+
7691
### Using FlowDroid as a library
7792

7893
If you want to include FlowDroid as a library into your own solution, you can directly reference the respective JAR files. If you

0 commit comments

Comments
 (0)