diff --git a/infer/src/concurrency/ConcurrencyModels.ml b/infer/src/concurrency/ConcurrencyModels.ml index 19e37eca3..348a69c85 100644 --- a/infer/src/concurrency/ConcurrencyModels.ml +++ b/infer/src/concurrency/ConcurrencyModels.ml @@ -199,6 +199,7 @@ let ui_matcher_records = ; { default with classname= "android.app.Service" ; methods= ["onBind"; "onCreate"; "onDestroy"; "onStartCommand"] } + ; {default with classname= "android.app.Application"; methods= ["onCreate"]} ; { default with classname= "android.app.Activity" ; methods= ["onCreate"; "onStart"; "onRestart"; "onResume"; "onPause"; "onStop"; "onDestroy"]