Steven Arzt

Your merge request seems inconsistent with the issue #2024. The synchronization will only help in a multithreaded context, and only if the other operations that modify the collection are also...

The copy constructor internally just iterates over the incoming list. You can just have the ``ConcurrentModificationException`` inside the constructor if you're unlucky. A real fix would need to make the...

This seems to be a Soot problem, most likely with the ``LocalSplitter``. It definitely looks like a bug. However, such issues usually only affect individual apps. If you have the...

The option ``setMergeDexFiles`` has nothing to do with the bug. It only specifies whether Soot shall process more than the first DEX file. Excluding additional DEX files just means that...

Have you tried assigning more memory to FlowDroid using the ``-Xmx`` parameter? It might also help to specify reasonable timeouts for callgraph construction and data flow analysis. Some apps are...

We usually have five minutes of callback analysis timeout and, depending on the number of apps we want to analyze, we have around 10 minutes of data flow time. Individual...

There is some connection between runtime and available memory. When the JVM runs short on memory, it will conduct more garbage collector cycles which will pause the normal program flow...

You only provide a source/sink definition. FlowDroid will match these definitions against each APK individually. The normal source/sink definitions are not specific to a single APK. There are two different...

FlowDroid can report the data flow path, i.e., all statements on the data flow path. If you use FlowDroid inside your own program, you need to set ``InfoflowConfiguration.PathConfiguration.pathReconstructionMode``. If you...

The default tool is IC3. If you have trouble using IC3, please contact the IC3 maintainers.