FlowDroid icon indicating copy to clipboard operation
FlowDroid copied to clipboard

Published 20 hours ago • verified publisher icon secure-software-engineering

How can I get the iccModel?

Open tyousyuka opened this issue 1 year ago • 3 comments

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

tyousyuka avatar Aug 02 '23 02:08 tyousyuka

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

StevenArzt avatar Aug 02 '23 06:08 StevenArzt

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

tyousyuka avatar Aug 02 '23 07:08 tyousyuka

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.

StevenArzt avatar Aug 21 '23 15:08 StevenArzt