Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

Clment Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz

Browse the full VMCAI paper archive.