search

secure-software-engineering / FlowDroid

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

How can I get the iccModel? #634

Open tyousyuka opened 11 months ago

tyousyuka commented 11 months ago

image which tools can i use? And how to use it to generate the iccmodel？ I have tried to use IC3 and Dare，but failed. thank you very much !!! @StevenArzt

StevenArzt commented 11 months ago

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

tyousyuka commented 11 months ago

@StevenArzt hello If I don't use ic3, how can i get the iccmodel? Is there any other way?

StevenArzt commented 10 months ago

Currently, there is no other supported tool that can generate the ICC model, as far as I know. You are welcome to provide an alternative.

In our commercial code scanner, we generate the models on demand by querying a composite value analysis that can reconstruct intents.