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

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 14, 2015
Source ID
10.1145/2694344.2694389

Entities

People

  • Deokhwan Kim
  • Eric Lahtinen
  • Fan Long
  • Martin Rinard
  • Nathan Rittenhouse
  • Paolo Piselli
  • Stelios Sidiroglou-douskos

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology