Static analysis of binary code with memory indirections using polyhedra

DOI10.1007/978-3-030-11245-5_6OpenAlexW2908843851MaRDI QIDQ2287075

Jordy Ruiz, Giuseppe Lipari, Clément Ballabriga, Laure Gonnord, Julien Forget

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Relational abstract interpretation of arrays in assembly code

This page was built for publication: Static analysis of binary code with memory indirections using polyhedra