Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement.

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard

Browse the full ASPLOS paper archive.