Is it possible to generate an icc model? about flowdroid HOT 5 CLOSED

FlowDroid uses ICCTA for inter-component data flow analysis. ICCTA, on the other hand, needs an external ICC model to operate on. You can use IC3 or Harvester to generate such models (or write them by hand). These tools for generating ICC models are not part of FlowDroid. They are built and maintained separately by different people.

Your NoClassDefFoundError seems to be caused by a different problem, though. Are you ysure that you have built FlowDroid with all required dependencies? If you link your own program against FlowDroid, make sure that you include the transitive dependencies as well (should be easy with maven, but take care when building with something else).

from flowdroid.

Thx for the quick reply. The NoClassDefFoundError was related to a dependency indeed, which I fixed.
What does this ICC model entail can I find a template for that. I saw that the ICCTA project on GitHub uses IC3 for which the results are pushed to a DB. In Flowdroid (using ICCTA) I see no connection to any db. Is it right for me to assume that the model Flowdroid uses is the result of IC3 which can be found in the IC3 db?

from flowdroid.

FlowDroid uses the ICC models from files. Personally, I have never created any ICC models for the use with FlowDroid. I have always used file created by other collegaues (Li Li) involved in the ICCTA project and have focused on the data flow side of things. Can you maybe check whether there is an option to export the models into files?

from flowdroid.

I will give it a try! Thx for the help. Leaving it open for an update.
Edit: Use IC3 to generate a model with the option --protobuf. This model can be used in flowdroid.

from flowdroid.

Hi, I have also meet the same problem recently. Could you give me some tips on how to slove it? Thanks a lot! @sangamk

from flowdroid.