Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MainActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity com.spotify.music.MainActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/spotify/music/MainActivity, onBackPressed()V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lcom/spotify/music/MainActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 0.99 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application, Lcom/spotify/music/MainActivity,
onBackPressed()V > Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic <
Application, Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/music/MainActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 0.02 seconds. Action[3]: ActionNode(id:3)
(type:LIFECYCLE)[Node: < Application, Lcom/spotify/music/MainActivity, onDestroy()V
> Context: SierraContext(3){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/music/MainActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(4) used 1.68 seconds. Action[4]: ActionNode(id:4)
(type:OVERRIDED)[Node: < Application, Lcom/spotify/music/MainActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(4)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lcom/spotify/music/MainActivity>@0),
allocAid=(0)> }]
com.spotify.mobile.android.service.LoginActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.service.LoginActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/service/LoginActivity, onCreate(Landroid/os/Bundle;)V >
Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/service/LoginActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 0.74 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/service/LoginActivity, onCreate(Landroid/os/Bundle;)V >
Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/service/LoginActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(7) used 2.06 seconds. Action[7]: ActionNode(id:7)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(7)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/service/LoginActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 10
---------------------------------------------------------------
[MAIN] total analysis time used is 55.18 seconds
net.hockeyapp.android.UpdateActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity net.hockeyapp.android.UpdateActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lnet/hockeyapp/android/UpdateActivity, onCreate(Landroid/os/Bundle;)V > Context:
SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lnet/hockeyapp/android/UpdateActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(1) used 5.51 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application, Lnet/hockeyapp/android/UpdateActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lnet/hockeyapp/android/UpdateActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.14 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application, Lnet/hockeyapp/android/UpdateActivity,
onCreateDialog(I)Landroid/app/Dialog; > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lnet/hockeyapp/android/UpdateActivity>@0),
allocAid=(0)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
[CG] building call graph in round(8) used 0.01 seconds. Action[8]: ActionNode(id:8)
(type:THREAD_EXECUTOR)[Node: synthetic < Primordial,
Landroid/os/AsyncTask$SerialExecutor, execute(Ljava/lang/Runnable;)V > Context:
SierraContext(8){AllocSiteCtxItem<mtd=(< Primordial, Landroid/os/AsyncTask,
<clinit>()V >), newsite=(NEW <Primordial,Landroid/os/AsyncTask$SerialExecutor>@76),
allocAid=(0)> }]
[CG] building call graph in round(1) used 4.22 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application, Lnet/hockeyapp/android/ExpiryInfoActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lnet/hockeyapp/android/ExpiryInfoActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 0.28 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application, Lnet/hockeyapp/android/FeedbackActivity,
onCreateDialog(I)Landroid/app/Dialog; > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lnet/hockeyapp/android/FeedbackActivity>@0),
allocAid=(0)> }]
Building action with entry: < Application, Lnet/hockeyapp/android/FeedbackActivity,
onCreateDialog(I)Landroid/app/Dialog; >
AddNewAction: Action[14] ActionNode(id:14)(type:REGISTRATION)[Node: < Application,
Lnet/hockeyapp/android/FeedbackActivity$5,
onClick(Landroid/content/DialogInterface;I)V > Context: SierraContext(14)
{AllocSiteCtxItem<mtd=(< Application, Lnet/hockeyapp/android/FeedbackActivity,
onCreateDialog(I)Landroid/app/Dialog; >), newsite=(NEW
<Application,Lnet/hockeyapp/android/FeedbackActivity$5>@55), allocAid=(2)> }]
[CG] building call graph in round(1) used 2.35 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PlayerActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayerActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(4) used 3.31 seconds. Action[4]: ActionNode(id:4)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(4)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayerActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 2.07 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/service/TermsOfServiceChangedActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/service/TermsOfServiceChangedActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(6) used 1.91 seconds. Action[6]: ActionNode(id:6)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(6)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/service/TermsOfServiceChangedActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 9
---------------------------------------------------------------
[MAIN] total analysis time used is 87.00 seconds
com.spotify.mobile.android.ui.activity.PermissionsActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.PermissionsActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PermissionsActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PermissionsActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 1.01 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PermissionsActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PermissionsActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 3.81 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PermissionsActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PermissionsActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(6) used 0.14 seconds. Action[6]: ActionNode(id:6)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PermissionsActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(6)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PermissionsActivity>@0),
allocAid=(0)> }]
com.spotify.mobile.android.ui.activity.TosTextActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.TosTextActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/TosTextActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/TosTextActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/TosTextActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/TosTextActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 1.78 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/TosTextActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(4) used 0.49 seconds. Action[4]: ActionNode(id:4)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity, onPause()V > Context:
SierraContext(4){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/TosTextActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/UpdateActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/UpdateActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 1.70 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/UpdateActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 10
---------------------------------------------------------------
[MAIN] total analysis time used is 72.56 seconds
com.spotify.mobile.android.ui.activity.ShareActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.ShareActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ShareActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShareActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.69 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShareActivity>@0),
allocAid=(0)> }]
HB edges count: 7
---------------------------------------------------------------
[MAIN] total analysis time used is 48.04 seconds
com.spotify.mobile.android.ui.activity.ShareToSpotifyActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.ShareToSpotifyActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 8.05 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.04 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShareToSpotifyActivity>@0),
allocAid=(0)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
LooperThread: ActionNode(id:12)(type:THREAD_BACKGROUND)[Node: synthetic <
Primordial, Ljava/lang/Thread, start()V > Context: SierraContext(12)
{AllocSiteCtxItem<mtd=(< Primordial, Landroid/widget/Filter,
filter(Ljava/lang/CharSequence;Landroid/widget/Filter$FilterListener;)V >),
newsite=(NEW <Primordial,Landroid/os/HandlerThread>@18), allocAid=(1)> }]
AddNewAction: Action[23] ActionNode(id:23)(type:LOOPER_MSG)[Node: synthetic <
Primordial, Landroid/os/Handler, sendMessageDelayed(Landroid/os/Message;J)Z >
Context: SierraContext(23){AllocSiteCtxItem<mtd=(< Primordial,
Landroid/widget/Filter,
filter(Ljava/lang/CharSequence;Landroid/widget/Filter$FilterListener;)V >),
newsite=(NEW <Primordial,Landroid/widget/Filter$RequestHandler>@37),
allocAid=(1)> }]
com.spotify.mobile.android.ui.activity.FacebookPlaceholderActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.FacebookPlaceholderActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(1) used 1.39 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(3) used 0.04 seconds. Action[3]: ActionNode(id:3)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity, onDestroy()V >
Context: SierraContext(3){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/FacebookPlaceholderActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.70 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/AddToPlaylistActivity>@0),
allocAid=(0)> }]
HB edges count: 7
---------------------------------------------------------------
[MAIN] total analysis time used is 117.06 seconds
com.spotify.mobile.android.ui.activity.DeviceActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.DeviceActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/DeviceActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeviceActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 0.70 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/DeviceActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeviceActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 2.49 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VolumeMonitoringActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeviceActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 0.10 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VolumeMonitoringActivity,
onKeyUp(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeviceActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ConfirmDeletionActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ConfirmDeletionActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 1.68 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ConfirmDeletionActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 4.87 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/CreateRenamePlaylistActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/CreateRenamePlaylistActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.66 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/CreateRenamePlaylistActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.81 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DisableOfflineModeActivity>@0)
, allocAid=(0)> }]
[CG] building call graph in round(3) used 0.44 seconds. Action[3]: ActionNode(id:3)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity, onPause()V > Context:
SierraContext(3){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DisableOfflineModeActivity>@0)
, allocAid=(0)> }]
Happens-before Graph
HB edges count: 11
---------------------------------------------------------------
[MAIN] total analysis time used is 308.23 seconds
com.spotify.mobile.android.ui.activity.dialog.TrialReminderActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.dialog.TrialReminderActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/dialog/TrialReminderActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/TrialReminderActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/dialog/TrialReminderActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/TrialReminderActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.99 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/TrialReminderActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(1) used 1.59 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/dialog/PremiumUpsellInterstitialActivity,
finish()V > Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic <
Application, Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/PremiumUpsellInterstiti
alActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.58 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/PremiumUpsellInterstiti
alActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 2.04 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/OfflineSyncErrorActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 113.65 seconds
com.spotify.mobile.android.ui.activity.DiskAlmostFullActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.DiskAlmostFullActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/DiskAlmostFullActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DiskAlmostFullActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.59 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DiskAlmostFullActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 73.42 seconds
com.spotify.mobile.android.ui.activity.upsell.UpsellDialogActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.upsell.UpsellDialogActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/upsell/UpsellDialogActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/UpsellDialogActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(2) used 0.05 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/upsell/UpsellDialogActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/UpsellDialogActivity>@0
), allocAid=(0)> }]
com.spotify.mobile.android.ui.activity.upsell.UpsellPremiumOnlyActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.upsell.UpsellPremiumOnlyActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/upsell/UpsellPremiumOnlyActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/UpsellPremiumOnlyActivi
ty>@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/upsell/UpsellPremiumOnlyActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/UpsellPremiumOnlyActivi
ty>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.98 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/UpsellPremiumOnlyActivi
ty>@0), allocAid=(0)> }]
[CG] building call graph in round(1) used 0.49 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/upsell/PremiumSignupActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/PremiumSignupActivity>@
0), allocAid=(0)> }]
[CG] building call graph in round(4) used 1.87 seconds. Action[4]: ActionNode(id:4)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(4)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/upsell/PremiumSignupActivity>@
0), allocAid=(0)> }]
Happens-before Graph
HB edges count: 10
---------------------------------------------------------------
[MAIN] total analysis time used is 72.88 seconds
com.spotify.mobile.android.ui.activity.NotificationWebViewActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.NotificationWebViewActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/NotificationWebViewActivity,
onBackPressed()V > Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic <
Application, Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/NotificationWebViewActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(1) used 0.98 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/NotificationWebViewActivity,
onBackPressed()V > Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic <
Application, Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/NotificationWebViewActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.88 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/NotificationWebViewActivity>@0
), allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 74.64 seconds
com.spotify.mobile.android.ui.activity.MftNuxActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.MftNuxActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/MftNuxActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/MftNuxActivity>@0),
allocAid=(0)> }]
com.spotify.mobile.android.ui.activity.AppRaterActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.AppRaterActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/AppRaterActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/AppRaterActivity>@0),
allocAid=(0)> }]
com.spotify.mobile.android.ui.activity.PlayQueueActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.PlayQueueActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PlayQueueActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayQueueActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.82 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayQueueActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 73.22 seconds
com.spotify.mobile.android.ui.activity.PlayHistoryActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.PlayHistoryActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PlayHistoryActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayHistoryActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.81 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlayHistoryActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 73.20 seconds
com.spotify.mobile.android.ui.activity.PlaybackErrorWifiOnlyActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.PlaybackErrorWifiOnlyActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiOnlyActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiOnlyActivity>
@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 0.00 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiOnlyActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiOnlyActivity>
@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.96 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiOnlyActivity>
@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.91 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/PlaybackErrorWifiMftGroup3NoMo
reTimeActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(1) used 4.57 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/RemotePlaybackActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/RemotePlaybackActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 0.01 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/RemotePlaybackActivity,
onNewIntent(Landroid/content/Intent;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/RemotePlaybackActivity>@0),
allocAid=(0)> }]
com.spotify.mobile.android.ui.activity.ConnectOnboardingActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.ConnectOnboardingActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ConnectOnboardingActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ConnectOnboardingActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 4.86 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/ConnectOnboardingActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ConnectOnboardingActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 4.45 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/SoundEffectsWarningActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/SoundEffectsWarningActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.49 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/SoundEffectsWarningActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.64 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeleteCacheAndSettingsActivity
>@0), allocAid=(0)> }]
Happens-before Graph
HB edges count: 7
---------------------------------------------------------------
[MAIN] total analysis time used is 72.03 seconds
com.spotify.mobile.android.ui.activity.DeleteCacheAndSettingsConfirmationActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.DeleteCacheAndSettingsConfirmationActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/DeleteCacheAndSettingsConfirmationActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeleteCacheAndSettingsConfirma
tionActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.76 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeleteCacheAndSettingsConfirma
tionActivity>@0), allocAid=(0)> }]
Happens-before Graph
HB edges count: 7
---------------------------------------------------------------
[MAIN] total analysis time used is 46.60 seconds
com.spotify.mobile.android.ui.activity.LastFmLoginDialog
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.LastFmLoginDialog ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/LastFmLoginDialog,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/LastFmLoginDialog>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 4.79 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/LastFmLoginDialog,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/LastFmLoginDialog>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.65 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/LastFmLoginDialog>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 1.68 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeletingCacheDialogActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(4) used 0.46 seconds. Action[4]: ActionNode(id:4)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity, onPause()V > Context:
SierraContext(4){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/DeletingCacheDialogActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(1) used 1.66 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/util/FragmentTesterActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/util/FragmentTesterActivity>@0),
allocAid=(0)> }]
Happens-before Graph
HB edges count: 2
---------------------------------------------------------------
[MAIN] total analysis time used is 5.28 seconds
com.facebook.LoginActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity com.facebook.LoginActivity
------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/facebook/LoginActivity, onActivityResult(IILandroid/content/Intent;)V >
Context: SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/facebook/LoginActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(1) used 0.05 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application, Lcom/facebook/LoginActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lcom/facebook/LoginActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(5) used 0.03 seconds. Action[5]: ActionNode(id:5)
(type:LIFECYCLE)[Node: < Application, Lcom/facebook/LoginActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(5)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW <Application,Lcom/facebook/LoginActivity>@0),
allocAid=(0)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
[CG] building call graph in round(7) used 0.02 seconds. Action[7]: ActionNode(id:7)
(type:THREAD_EXECUTOR)[Node: synthetic < Primordial,
Landroid/os/AsyncTask$SerialExecutor, execute(Ljava/lang/Runnable;)V > Context:
SierraContext(7){AllocSiteCtxItem<mtd=(< Primordial, Landroid/os/AsyncTask,
<clinit>()V >), newsite=(NEW <Primordial,Landroid/os/AsyncTask$SerialExecutor>@76),
allocAid=(0)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
LooperThread: ActionNode(id:8)(type:THREAD_BACKGROUND)[Node: synthetic <
Primordial, Ljava/lang/Thread, start()V > Context: SierraContext(8)
{AllocSiteCtxItem<mtd=(< Primordial, Landroid/webkit/WebSyncManager,
<init>(Ljava/lang/String;)V >), newsite=(NEW <Primordial,Ljava/lang/Thread>@10),
allocAid=(4)> }]
[CG] building call graph in round(9) used 0.08 seconds. Action[9]: ActionNode(id:9)
(type:LOOPER_MSG)[Node: synthetic < Primordial, Landroid/os/Handler,
sendMessageDelayed(Landroid/os/Message;J)Z > Context: SierraContext(9)
{AllocSiteCtxItem<mtd=(< Application, Landroid/support/v4/content/n,
<init>(Landroid/content/Context;)V >), newsite=(NEW
<Application,Landroid/support/v4/content/n$1>@43), allocAid=(4)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
[CG] building call graph in round(12) used 0.02 seconds. Action[12]:
ActionNode(id:12)(type:LOOPER_POST)[Node: synthetic < Primordial,
Landroid/os/Handler, postAtTime(Ljava/lang/Runnable;J)Z > Context:
SierraContext(12){AllocSiteCtxItem<mtd=(< Primordial, Landroid/widget/Editor,
makeBlink()V >), newsite=(NEW <Primordial,Landroid/widget/Editor$Blink>@22),
allocAid=(1)> }]
[CG] building call graph in round(1) used 5.31 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/dialog/TrialStartedActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/TrialStartedActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.71 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/dialog/TrialStartedActivity>@0
), allocAid=(0)> }]
[CG] building call graph in round(1) used 0.98 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/spotlets/suggestedtweet/SuggestedTweetActivity,
onActivityResult(IILandroid/content/Intent;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/spotlets/suggestedtweet/SuggestedTweetActi
vity>@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 3.65 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/spotlets/suggestedtweet/SuggestedTweetActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/spotlets/suggestedtweet/SuggestedTweetActi
vity>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 1.35 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/spotlets/suggestedtweet/SuggestedTweetActi
vity>@0), allocAid=(0)> }]
[CG] building call graph in round(2) used 1.95 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/ShowcaseActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 1.39 seconds. Action[1]: ActionNode(id:1)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/spotlets/openaccess/OpenAccessActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(1)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/spotlets/openaccess/OpenAccessActivity>@0)
, allocAid=(0)> }]
[CG] building call graph in round(3) used 1.75 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/BaseFragmentActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/spotlets/openaccess/OpenAccessActivity>@0)
, allocAid=(0)> }]
Happens-before Graph
HB edges count: 8
---------------------------------------------------------------
[MAIN] total analysis time used is 26.18 seconds
com.spotify.mobile.android.ui.activity.VideoPlayerActivity
Load Z3 successfully!
app name = spotify_1.2.0.534
result path =
/thelma/hdd/res9/SIERRA6/StaticEventRacerWala/result/spotify_1.2.0.534
---------------------- analyzing activity
com.spotify.mobile.android.ui.activity.VideoPlayerActivity ------------------
yhu009: setDefaultIntSetFactory =
com.ibm.wala.util.intset.MutableSharedBitVectorIntSetFactory
Call graph builder =
com.ibm.wala.ipa.callgraph.propagation.cfa.HybridContextCFABuilder
Context Selectors:
spruce.eventracer.context.SierraContextSelector
com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector
com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector
com.ibm.wala.analysis.reflection.GetMethodContextSelector
com.ibm.wala.analysis.reflection.ReflectiveInvocationSelector
com.ibm.wala.analysis.reflection.JavaLangClassContextSelector
com.ibm.wala.analysis.reflection.ClassFactoryContextSelector
com.ibm.wala.analysis.reflection.GetClassContextSelector
com.ibm.wala.analysis.reflection.ClassNewInstanceContextSelector
com.ibm.wala.analysis.reflection.FactoryContextSelector
com.ibm.wala.analysis.reflection.ReflectionContextSelector$1
com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector
Context Interpreter:
spruce.eventracer.context.InflatedViewContextInterpreter
com.ibm.wala.analysis.reflection.GetMethodContextInterpreter
com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter
com.ibm.wala.analysis.reflection.GetClassContextInterpeter
com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter
com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
com.ibm.wala.analysis.reflection.ReflectionContextInterpreter$1
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter
com.ibm.wala.analysis.reflection.CloneInterpreter
com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
PointerKeyFactory:
com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory
InstanceKeyFactory: spruce.eventracer.context.SierraInstanceKeyFactory
[EDG] begin building EDG
AddNewAction: Action[1] ActionNode(id:1)(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity,
onConfigurationChanged(Landroid/content/res/Configuration;)V > Context:
SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 0.54 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity,
onConfigurationChanged(Landroid/content/res/Configuration;)V > Context:
SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 1.97 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(3) used 0.27 seconds. Action[3]: ActionNode(id:3)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity,
onTouchEvent(Landroid/view/MotionEvent;)Z > Context: SierraContext(3)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity>@0),
allocAid=(0)> }]
Building action with entry: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerActivity,
onTouchEvent(Landroid/view/MotionEvent;)Z >
[CG] building call graph in round(4) used 0.48 seconds. Action[4]: ActionNode(id:4)
(type:THREAD_BACKGROUND)[Node: synthetic < Primordial, Ljava/lang/Thread, start()V
> Context: SierraContext(4){AllocSiteCtxItem<mtd=(< Primordial,
Landroid/media/MediaPlayer$TimeProvider, <init>(Landroid/media/MediaPlayer;)V >),
newsite=(NEW <Primordial,Landroid/os/HandlerThread>@77), allocAid=(2)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
LooperThread: ActionNode(id:4)(type:THREAD_BACKGROUND)[Node: synthetic <
Primordial, Ljava/lang/Thread, start()V > Context: SierraContext(4)
{AllocSiteCtxItem<mtd=(< Primordial, Landroid/media/MediaPlayer$TimeProvider,
<init>(Landroid/media/MediaPlayer;)V >), newsite=(NEW
<Primordial,Landroid/os/HandlerThread>@77), allocAid=(2)> }]
[CG] building call graph in round(5) used 0.03 seconds. Action[5]: ActionNode(id:5)
(type:LOOPER_MSG)[Node: synthetic < Primordial, Landroid/os/Handler,
sendMessageDelayed(Landroid/os/Message;J)Z > Context: SierraContext(5)
{AllocSiteCtxItem<mtd=(< Primordial, Landroid/media/MediaPlayer$TimeProvider,
<init>(Landroid/media/MediaPlayer;)V >), newsite=(NEW
<Primordial,Landroid/media/MediaPlayer$TimeProvider$EventHandler>@107),
allocAid=(2)> }]
[CG] building call graph in round(6) used 0.10 seconds. Action[6]: ActionNode(id:6)
(type:LOOPER_MSG)[Node: synthetic < Primordial, Landroid/os/Handler,
sendMessageDelayed(Landroid/os/Message;J)Z > Context: SierraContext(6)
{AllocSiteCtxItem<mtd=(< Application, Lcom/spotify/mobile/android/ui/view/d,
<init>(Landroid/content/Context;)V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/view/f>@6), allocAid=(2)> }]
[CG] building call graph in round(2) used 0.01 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/UninstallOldAppActivity, onDestroy()V >
Context: SierraContext(2){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/UninstallOldAppActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(2) used 3.08 seconds. Action[2]: ActionNode(id:2)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VolumeWidgetActivity,
onKeyDown(ILandroid/view/KeyEvent;)Z > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VolumeWidgetActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(4) used 0.00 seconds. Action[4]: ActionNode(id:4)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VolumeWidgetActivity, onResume()V >
Context: SierraContext(4){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VolumeWidgetActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(7) used 0.44 seconds. Action[7]: ActionNode(id:7)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VolumeMonitoringActivity,
onKeyUp(ILandroid/view/KeyEvent;)Z > Context: SierraContext(7)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VolumeWidgetActivity>@0),
allocAid=(0)> }]
[CG] building call graph in round(1) used 1.39 seconds. Action[1]: ActionNode(id:1)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity,
onConfigurationChanged(Landroid/content/res/Configuration;)V > Context:
SierraContext(1){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity>@0)
, allocAid=(0)> }]
[CG] building call graph in round(3) used 0.09 seconds. Action[3]: ActionNode(id:3)
(type:LIFECYCLE)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity, onPause()V >
Context: SierraContext(3){AllocSiteCtxItem<mtd=(synthetic < Application,
Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity>@0)
, allocAid=(0)> }]
[CG] building call graph in round(5) used 0.21 seconds. Action[5]: ActionNode(id:5)
(type:OVERRIDED)[Node: < Application,
Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity,
onTouchEvent(Landroid/view/MotionEvent;)Z > Context: SierraContext(5)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/spotify/mobile/android/ui/activity/VideoPlayerServiceActivity>@0)
, allocAid=(0)> }]
[CG] building call graph in round(2) used 1.44 seconds. Action[2]: ActionNode(id:2)
(type:LIFECYCLE)[Node: < Application, Lcom/mixpanel/android/surveys/SurveyActivity,
onCreate(Landroid/os/Bundle;)V > Context: SierraContext(2)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/mixpanel/android/surveys/SurveyActivity>@0), allocAid=(0)> }]
[CG] building call graph in round(3) used 0.62 seconds. Action[3]: ActionNode(id:3)
(type:LIFECYCLE)[Node: < Application, Lcom/mixpanel/android/surveys/SurveyActivity,
onDestroy()V > Context: SierraContext(3){AllocSiteCtxItem<mtd=(synthetic <
Application, Lspruce/eventracer/SierraMainClass, main()V >), newsite=(NEW
<Application,Lcom/mixpanel/android/surveys/SurveyActivity>@0), allocAid=(0)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
LooperThread: ActionNode(id:5)(type:THREAD_BACKGROUND)[Node: synthetic <
Primordial, Ljava/lang/Thread, start()V > Context: SierraContext(5)
{AllocSiteCtxItem<mtd=(< Application, Lcom/mixpanel/android/mpmetrics/d,
<init>(Lcom/mixpanel/android/mpmetrics/a;)V >), newsite=(NEW
<Application,Landroid/os/HandlerThread>@37), allocAid=(2)> }]
AddNewAction: Action[14] ActionNode(id:14)(type:LOOPER_MSG)[Node: synthetic <
Primordial, Landroid/os/Handler, sendMessageDelayed(Landroid/os/Message;J)Z >
Context: SierraContext(14){AllocSiteCtxItem<mtd=(< Application,
Lcom/mixpanel/android/mpmetrics/d, <init>(Lcom/mixpanel/android/mpmetrics/a;)V >),
newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/e>@53), allocAid=(2)> }]
[CG] building call graph in round(6) used 2.26 seconds. Action[6]: ActionNode(id:6)
(type:LOOPER_MSG)[Node: synthetic < Primordial, Landroid/os/Handler,
sendMessage(Landroid/os/Message;)Z > Context: SierraContext(6)
{AllocSiteCtxItem<mtd=(< Application, Lcom/mixpanel/android/mpmetrics/d,
<init>(Lcom/mixpanel/android/mpmetrics/a;)V >), newsite=(NEW
<Application,Lcom/mixpanel/android/mpmetrics/e>@53), allocAid=(2)> }]
Building action with entry: synthetic < Primordial, Ljava/lang/Thread, start()V >
Zero Out Edges from entry: ActionNode(id:8)(type:REGISTRATION)[Node: < Application,
Lcom/mixpanel/android/mpmetrics/q, onActivityDestroyed(Landroid/app/Activity;)V >
Context: SierraContext(8){AllocSiteCtxItem<mtd=(< Application,
Lcom/mixpanel/android/mpmetrics/l,
<init>(Landroid/content/Context;Ljava/util/concurrent/Future;Ljava/lang/String;)V
>), newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/q>@157),
allocAid=(2)> }]
Zero Out Edges from entry: ActionNode(id:9)(type:REGISTRATION)[Node: < Application,
Lcom/mixpanel/android/mpmetrics/q, onActivityPaused(Landroid/app/Activity;)V >
Context: SierraContext(9){AllocSiteCtxItem<mtd=(< Application,
Lcom/mixpanel/android/mpmetrics/l,
<init>(Landroid/content/Context;Ljava/util/concurrent/Future;Ljava/lang/String;)V
>), newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/q>@157),
allocAid=(2)> }]
Zero Out Edges from entry: ActionNode(id:10)(type:REGISTRATION)[Node: <
Application, Lcom/mixpanel/android/mpmetrics/q,
onActivityResumed(Landroid/app/Activity;)V > Context: SierraContext(10)
{AllocSiteCtxItem<mtd=(< Application, Lcom/mixpanel/android/mpmetrics/l,
<init>(Landroid/content/Context;Ljava/util/concurrent/Future;Ljava/lang/String;)V
>), newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/q>@157),
allocAid=(2)> }]
Zero Out Edges from entry: ActionNode(id:11)(type:REGISTRATION)[Node: <
Application, Lcom/mixpanel/android/mpmetrics/q,
onActivitySaveInstanceState(Landroid/app/Activity;Landroid/os/Bundle;)V > Context:
SierraContext(11){AllocSiteCtxItem<mtd=(< Application,
Lcom/mixpanel/android/mpmetrics/l,
<init>(Landroid/content/Context;Ljava/util/concurrent/Future;Ljava/lang/String;)V
>), newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/q>@157),
allocAid=(2)> }]
Zero Out Edges from entry: ActionNode(id:13)(type:REGISTRATION)[Node: <
Application, Lcom/mixpanel/android/mpmetrics/q,
onActivityStopped(Landroid/app/Activity;)V > Context: SierraContext(13)
{AllocSiteCtxItem<mtd=(< Application, Lcom/mixpanel/android/mpmetrics/l,
<init>(Landroid/content/Context;Ljava/util/concurrent/Future;Ljava/lang/String;)V
>), newsite=(NEW <Application,Lcom/mixpanel/android/mpmetrics/q>@157),
allocAid=(2)> }]
Zero Out Edges from entry: ActionNode(id:15)(type:THREAD_EXECUTOR)[Node: synthetic
< Primordial, Landroid/os/AsyncTask$SerialExecutor, execute(Ljava/lang/Runnable;)V
> Context: SierraContext(15){AllocSiteCtxItem<mtd=(< Primordial,
Landroid/os/AsyncTask, <clinit>()V >), newsite=(NEW
<Primordial,Landroid/os/AsyncTask$SerialExecutor>@76), allocAid=(0)> }]
[EDG] building EDG 11 actions used 10.85 seconds
Warning: Action has no out edge for entry: Node: < Application,
Lcom/mixpanel/android/surveys/SurveyActivity,
onSaveInstanceState(Landroid/os/Bundle;)V > Context: SierraContext(4)
{AllocSiteCtxItem<mtd=(synthetic < Application, Lspruce/eventracer/SierraMainClass,
main()V >), newsite=(NEW
<Application,Lcom/mixpanel/android/surveys/SurveyActivity>@0), allocAid=(0)> }
Warning: Action has no out edge for entry: Node: synthetic < Primordial,
Ljava/lang/Thread, start()V > Context: SierraContext(5){AllocSiteCtxItem<mtd=(<
Application, Lcom/mixpanel/android/mpmetrics/d,
<init>(Lcom/mixpanel/android/mpmetrics/a;)V >), newsite=(NEW
<Application,Landroid/os/HandlerThread>@37), allocAid=(2)> }
Warning: Action has no out edge for entry: Node: synthetic < Primordial,
Ljava/lang/Thread, start()V > Context: SierraContext(16){AllocSiteCtxItem<mtd=(<
Primordial, Landroid/os/StrictMode,
dropboxViolationAsync(ILandroid/os/StrictMode$ViolationInfo;)V >), newsite=(NEW
<Primordial,Landroid/os/StrictMode$5>@53), allocAid=(0)> }