package Ġsa ar land . cis pa . frontmatter . cg Ċ Ċ import Ġbo om er ang . pre analysis . B oom er ang Pre transformer Ċ import Ġso ot . Body Ċ import Ġso ot . Scene Ċ import Ġso ot . S oot Method Ċ import Ġso ot . Unit Ċ import Ġso ot . dex pler . Dal vik Throw Analysis Ċ import Ġso ot . j imple . info flow . solver . cfg . Info flow CFG Ċ import Ġso ot . j imple . tool k its . call graph . Call Graph Ċ import Ġso ot . j imple . tool k its . ide . ic fg . Bi Di Inter pro ced ural CFG Ċ import Ġso ot . j imple . tool k its . ide . ic fg . J imple Based Inter pro ced ural CFG Ċ import Ġso ot . tool k its . graph . Direct ed Graph Ċ import Ġso ot . tool k its . graph . Exception al Unit Graph Ċ Ċ class ĠInter pro ced ural CFG Wrapper ( scene V : ĠScene , Ġval Ġcall Graph : ĠCall Graph ) Ġ: ĠInfo flow CFG ( get Graph ()) Ċ Ċ fun Ġget Graph (): ĠBi Di Inter pro ced ural CFG < Unit , ĠS oot Method >? Ġ{ ĊĠĠĠ Ġif Ġ(! B oom er ang Pre transformer . v (). is Applied ) Ġ{ ĊĠĠĠĠĠĠĠ ĠB oom er ang Pre transformer . v (). apply () Ġ// Ġworks Ġonly Ġon Ġreachable Ġmethods ! ĊĠĠĠ Ġ} ĊĠĠĠ Ġval Ġbase CFG Ġ= Ġobject Ġ: ĠJ imple Based Inter pro ced ural CFG ( true , Ġtrue ) Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġmake Graph ( body : ĠBody ): ĠDirect ed Graph < Unit > Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn ĠException al Unit Graph ( body , ĠD al vik Throw Analysis . inter proc (), Ġtrue ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġbase CFG . set Include Ph antom Cal le es ( true ) ĊĠĠĠ Ġreturn Ġbase CFG Ċ } Ċ