Module Make.Sanitizer
val get : IR.Procname.t -> IR.Tenv.t -> t option
Get the sanitizer that should be applied to the return value of given procedure, if any
val pp : Absint.Sanitizer.F.formatter -> t -> unit
Make.Sanitizer
val get : IR.Procname.t -> IR.Tenv.t -> t option
Get the sanitizer that should be applied to the return value of given procedure, if any
val pp : Absint.Sanitizer.F.formatter -> t -> unit