Interpretation-Based Violation Witness Validation for C: NITWIT
53
(a) CPAchecker
(b) Ultimate Automizer
(c) CPA-witness2test
(d) FShell-witness2test
(e) MetaVal
Fig. 5: Comparing nitwit (x-axis) with the other five validators (y-axis) in terms
of speed and outcome. Each point represents a witness.