sig
type cfg
val make_cfg : Dex.dex -> Dex.code_item -> Ctrlflow.cfg
type dom
val doms : Ctrlflow.cfg -> Ctrlflow.dom
val idom : Ctrlflow.dom -> int -> int
val cdom : Ctrlflow.dom -> int list
type pdom
val pdoms : Ctrlflow.cfg -> Ctrlflow.pdom
val ipdom : Ctrlflow.pdom -> int -> int
val cpdom : Ctrlflow.pdom -> int list
val get_last_ins : Ctrlflow.cfg -> Ctrlflow.pdom -> Dex.link
module type CTRLFLOW =
sig
type st
val start : Ctrlflow.CTRLFLOW.st
val last : Ctrlflow.CTRLFLOW.st
val all : Ctrlflow.CTRLFLOW.st list
val pred : Ctrlflow.CTRLFLOW.st -> Ctrlflow.CTRLFLOW.st list
val succ : Ctrlflow.CTRLFLOW.st -> Ctrlflow.CTRLFLOW.st list
val to_s : Ctrlflow.CTRLFLOW.st -> string
end
type cfg_module = (module Ctrlflow.CTRLFLOW with type st = Dex.link)
val to_module : Dex.dex -> Ctrlflow.cfg -> Ctrlflow.cfg_module
val cfg2dot : Dex.dex -> Ctrlflow.cfg -> unit
val dom2dot : Dex.dex -> Ctrlflow.cfg -> Ctrlflow.dom -> unit
val pdom2dot : Dex.dex -> Ctrlflow.cfg -> Ctrlflow.pdom -> unit
endWeb Accessibility