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