Module AnalysisStateUtil

type mem_safety_violation =
  1. | InvalidFree
  2. | InvalidDeref
  3. | InvalidMemTrack
  4. | InvalidMemcleanup
val set_mem_safety_flag : mem_safety_violation -> unit