Steven Arzt

Generating the model file is out of scope for FlowDroid, these are external tools. FlowDroid only processes the output. I do not maintain IC3, so I cannot tell you how...

Have you asked in the issue tracker of the IC3 project to which I provided the link above? You might also ask @jacquesklein2302 for a contact that can help with...

Just give them some time. I have a scheduled meeting with Jacques next week anyway and I'll see Marc the week after that. Your third option is @docteau, but I...

I ran FlowDroid on your APKs and the analysis completed without issues. However, I did not have your ICC models, so I ran the analysis without the ICCTA part. Can...

Can you do this or someone from the IC3 team, @JordanSamhi ?

The route from source to sink is easy, you need to activate path reconstruction. In the command-line application, have a look at option ``-cp``, which is ``OPTION_COMPUTE_PATHS`` in the code....

Link to the VUSC product: https://www.sit.fraunhofer.de/en/offers/projekte/vusc/ Our company (website currently in German only, but the team speaks English as well): https://secure-software.io/

The exclude list is passed to Soot. It will, by default, mark the respective classes as library classes instead of application classes, although they were loaded from the APK file....

You're almost right. If you exclude ``androidx.*`` and disable method body loading for excluded classes, FlowDroid doesn't propagate through these methods either. From the perspective of the analysis, the method...

I meant 2.10, sorry. The exclusion entry is strange, maybe that was added later. It will definitely be there in the next release, because it is in the ``develop`` branch.