On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs.

Lus Ferreirinha, Ibria Medeiros

Browse the full ENASE paper archive.