Skip to content

Ran into a constructor generation loop when trying to generate ICC model #29

Description

@shengliangd

I'm trying to generate ICC model to use in FlowDroid using IC3. When analyzing apps(including shadowsocks and telegram), it continues outputing things like [main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Ran into a constructor generation loop for class android.util.SparseArray, substituting with null... and can not stop(at least within 10 minutes).

There was really a lot of output. A part of it:

[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Constructor cannot be generated for callback class org.telegram.ui.Co
mponents.ThemeEditorView$1$$Lambda$0
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Cannot create valid constructor for android.view.WindowManager, becau
se it is an interface and cannot substitute with subclass
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Cannot create valid constructor for org.telegram.tgnet.TLRPC$Message, because it is abstract and cannot substitute with subclass
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Ran into a constructor generation loop for class android.util.SparseArray, substituting with null...
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Ran into a constructor generation loop for class org.telegram.ui.CallLogActivity, substituting with null...
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Ran into a constructor generation loop for class org.telegram.ui.CallLogActivity, substituting with null...
[main] WARN soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator - Cannot create valid constructor for org.telegram.tgnet.TLRPC$ChatFull, because it is abstract and cannot substitute with subclass

How should I fix it?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions