An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.

Maria Christakis, Peter Mller, Valentin Wstholz

Browse the full VMCAI paper archive.