Skip to content

Wrong ExitComponents in results #30

@mehrant95

Description

@mehrant95

I ran IC3 on a simple app using following command:
java -jar ic3-0.2.0-full.jar -computecomponents -input /home/ubuntu/data/apks/dare_kara888/retargeted/kara888/ -apkormanifest /home/ubuntu/data/apks/kara888.apk -cp android.jar -db db/cc.properties.template

The result is fine but in some cases, the exit components (where ICC calls are being made) are wrong. For example:

com.jeyteam.karafarin.MainActivity$2$1$2/void onClick(android.content.DialogInterface,int) : virtualinvoke r12.<com.jeyteam.karafarin.MainActivity: void startActivity(android.content.Intent)>(r2) Components: [com.jeyteam.karafarin.tests.MBTIResultActivity, com.jeyteam.karafarin.tests.EQIActivity, com.jeyteam.karafarin.reminder.ReminderService, com.jeyteam.karafarin.CanvasBusinessActivity, com.jeyteam.karafarin.StarterActivity, com.jeyteam.karafarin.utils.ReceiveSms, com.jeyteam.karafarin.HistoryActivity, com.jeyteam.karafarin.tests.EQIResultActivity, com.jeyteam.karafarin.MainActivity, com.jeyteam.karafarin.BuyActivity, com.jeyteam.karafarin.tests.MBTIActivity] 0 : Value: 1 path values action=android.intent.action.VIEW, dataType=application/vnd.android.package-archive, flags=[268435456], uri=file://(.*),

Or this case:

com.jeyteam.karafarin.StarterActivity/void r() : virtualinvoke r0.<com.jeyteam.karafarin.StarterActivity: void startActivity(android.content.Intent)>(r4) Components: [com.jeyteam.karafarin.tests.MBTIResultActivity, com.jeyteam.karafarin.tests.EQIActivity, com.jeyteam.karafarin.reminder.ReminderService, com.jeyteam.karafarin.CanvasBusinessActivity, com.jeyteam.karafarin.StarterActivity, com.jeyteam.karafarin.utils.ReceiveSms, com.jeyteam.karafarin.HistoryActivity, com.jeyteam.karafarin.tests.EQIResultActivity, com.jeyteam.karafarin.MainActivity, com.jeyteam.karafarin.BuyActivity, com.jeyteam.karafarin.tests.MBTIActivity] 0 : Value: 1 path values clazz=com/jeyteam/karafarin/MainActivity, package=com.jeyteam.karafarin,

In former case, Components should only contain com.jeyteam.karafarin.MainActivity and it should contain only com.jeyteam.karafarin.StarterActivity in latter case but there many other components. Am i wrong?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions