Instance of ICC missing from IC3's output - Epicc is able to catch it. about ic3

[docteau]

Thank you for the report. There is indeed a bug, but not exactly for the code shown in your report.

First, IC3 is right not to report anything for the code shown above. The receiver is never registered and thus onReceive() can never be reached.

However, even if you add registerReceiver(receiver, new IntentFilter()) at the end of onCreate(), then IC3 still won't show anything, which is not normal. In its call graph construction, when it is creating the dummyMain to simulate the application lifecycle, IC3 should detect the registerReceiver method and then generate the lifecycle for the receiver argument. The problem is that IC3 relies on the FlowDroid lifecycle generation, which does not support this yet.

Thus, we need to add this to FlowDroid and then pull the latest lifecycle creation procedure from FlowDroid into IC3.

[pbsf]

Thank you for the fast reply. I agree with you that a registerReceiver call is necessary.

ps: Epicc will still report that an Intent is sent in MainActivity$1.onReceive, even without a registerReceiver call, but this seems to be another issue.