Module Backend.Preanal
val do_preanalysis : Absint.Exe_env.t -> IR.Procdesc.t -> unitVarious preanalysis passes for transforming the IR in useful ways
Backend.Preanalval do_preanalysis : Absint.Exe_env.t -> IR.Procdesc.t -> unitVarious preanalysis passes for transforming the IR in useful ways