Module Backend.Devirtualizer

Simple devirtualization pre-analysis using a flow-sensitive tracking of dynamic classes

val process : IR.Procdesc.t -> IR.Tenv.t -> unit

Run the devirtualization pass by replacing some virtual calls by resolved calls