DMCA

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

by Stelios Sidiroglou-douskos , Eric Lahtinen , Nathan Rittenhouse , Paolo Piselli , Fan Long , Deokhwan Kim , Martin Rinard
Citations:3 - 2 self