{"action":"opened","issue":{"url":"https://api.github.com/repos/siis/ic3/issues/10","labels_url":"https://api.github.com/repos/siis/ic3/issues/10/labels{/name}","comments_url":"https://api.github.com/repos/siis/ic3/issues/10/comments","events_url":"https://api.github.com/repos/siis/ic3/issues/10/events","html_url":"https://github.com/siis/ic3/issues/10","id":116367016,"number":10,"title":"How to read the result","user":{"login":"Mac85","id":15186904,"avatar_url":"https://avatars.githubusercontent.com/u/15186904?v=3","gravatar_id":"","url":"https://api.github.com/users/Mac85","html_url":"https://github.com/Mac85","followers_url":"https://api.github.com/users/Mac85/followers","following_url":"https://api.github.com/users/Mac85/following{/other_user}","gists_url":"https://api.github.com/users/Mac85/gists{/gist_id}","starred_url":"https://api.github.com/users/Mac85/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Mac85/subscriptions","organizations_url":"https://api.github.com/users/Mac85/orgs","repos_url":"https://api.github.com/users/Mac85/repos","events_url":"https://api.github.com/users/Mac85/events{/privacy}","received_events_url":"https://api.github.com/users/Mac85/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-11-11T16:12:51Z","updated_at":"2015-11-11T16:12:51Z","closed_at":null,"body":"Hi, I have runned ic3 with an app of DroidBanch, it's called \"ImplicitFlow2\".\r\nI get these information:\r\n\r\n\r\nWarning: java.lang.invoke.LambdaMetafactory is a phantom class!\r\nWarning: java.lang.ref.Finalizer is a phantom class!\r\nWarning: de.ecspride.ImplicitFlow2 is a phantom class!\r\n[main] INFO  soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator  - Generated main method:\r\n    public static void dummyMainMethod()\r\n    {\r\n        int $i0;\r\n\r\n        $i0 = 0;\r\n\r\n     label1:\r\n        if $i0 == 2 goto label1;\r\n\r\n        return;\r\n    }\r\n\r\n[Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase.\r\n[Spark] Pointer Assignment Graph in 0.0 seconds.\r\n[Spark] Type masks in 0.0 seconds.\r\n[Spark] Pointer Graph simplified in 0.0 seconds.\r\n[Spark] Propagation in 0.0 seconds.\r\n[Spark] Solution found in 0.0 seconds.\r\nCallback analysis done.\r\nWarning: RelativeLayout is a phantom class!\r\nWarning: de.ecspride.RelativeLayout is a phantom class!\r\nWarning: android.view.RelativeLayout is a phantom class!\r\nWarning: EditText is a phantom class!\r\nWarning: de.ecspride.EditText is a phantom class!\r\nWarning: android.view.EditText is a phantom class!\r\nWarning: requestFocus is a phantom class!\r\nWarning: de.ecspride.requestFocus is a phantom class!\r\nWarning: android.view.requestFocus is a phantom class!\r\nWarning: android.widget.requestFocus is a phantom class!\r\nWarning: android.webkit.requestFocus is a phantom class!\r\nCould not find layout class requestFocus\r\nWarning: Button is a phantom class!\r\nWarning: de.ecspride.Button is a phantom class!\r\nWarning: android.view.Button is a phantom class!\r\nFound 1 layout controls in file res/layout/activity_implicit_flow2.xml\r\n[main] INFO  edu.psu.cse.siis.ic3.SetupApplication  - Entry point calculation done.\r\nWarning: de.ecspride.ImplicitFlow2 is a phantom class!\r\n[main] INFO  soot.jimple.infoflow.entryPointCreators.AndroidEntryPointCreator  - Generated main method:\r\n    public static void dummyMainMethod()\r\n    {\r\n        int $i0;\r\n\r\n        $i0 = 0;\r\n\r\n     label1:\r\n        if $i0 == 2 goto label1;\r\n\r\n        return;\r\n    }\r\n\r\n[Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase.\r\n[Spark] Pointer Assignment Graph in 0.0 seconds.\r\n[Spark] Type masks in 0.0 seconds.\r\n[Spark] Pointer Graph simplified in 0.0 seconds.\r\n[Spark] Propagation in 0.0 seconds.\r\n[Spark] Solution found in 0.0 seconds.\r\n[main] INFO  edu.psu.cse.siis.coal.PropagationSceneTransformer  - Solving propagation problem (iteration 0)\r\n[main] INFO  edu.psu.cse.siis.coal.PropagationSceneTransformer  - Reached a fixed point\r\nTransforming android.content.Intent... \r\nTransforming android.content.IntentFilter... \r\nTransforming android.os.Bundle... \r\nTransforming android.content.ComponentName... \r\nTransforming android.app.Activity... \r\nTransforming dummyMainClass... \r\nTransforming de.ecspride.ImplicitFlow2... \r\n\r\n*****Manifest*****\r\nException in thread \"main\" java.lang.NullPointerException\r\n\tat edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:278)\r\n\tat edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:65)\r\n\tat edu.psu.cse.siis.coal.Analysis.performAnalysis(Analysis.java:70)\r\n\tat edu.psu.cse.siis.ic3.Main.main(Main.java:14)\r\n\r\nhow to understand if there are any leaks?\r\nThere are errors in the execution of ic3?"}}