Sound input filter generation for integer overflow errors.

Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard

Browse the full POPL paper archive.