Module S.Sanitizer

type t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
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