Vi presenterar en ny teknik och system, DIODE, för att automatiskt generera ingångar som utlöser överflöd på minnesallokeringsplatser. DIODE är utformat för att identifiera relevanta sundhetskontroller som indata måste uppfylla för att utlösa överflöden vid minnesallokeringsplatser, och sedan generera indata som uppfyller dessa sundhetskontroller för att framgångsrikt utlösa överflödet. DIODE arbetar med off-the-shälf, produktion x86 binärer. Våra resultat visar att, för vår benchmarking uppsättning av applikationer, och för varje målminne tilldelning webbplats som utövas av våra fröingångar (som applikationerna behandlar korrekt utan överflöd), antingen 1) DIODE kan generera en ingång som utlöser ett överflöd på den platsen eller 2) det finns ingen ingång som skulle utlösa ett överflöd för det observerade måluttrycket på den platsen.
DIODE REF genererar indata som mål heltalspill fel.
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement