Skip to content

Testing static analyses for precision and soundness.

Jubi Taneja, Zhengyang Liu, John Regehr

VenueACGO
Year2020
ProceedingsCGO

Browse the full CGO paper archive.