Static Detection of Uninitialized Stack Variables in Binary Code.

Behrad Garmany, Martin Stoffel, Robert Gawlik, Thorsten Holz

Browse the full ESORICS paper archive.