Checkers.Impurity
val checker : Absint.IntraproceduralAnalysis.t -> Pulselib.PulseSummary.t option -> unit
An impurity analysis that relies on pulse summaries to determine how the state changes