Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis of Binary Code with Memory Indirections Using Polyhedra. In Constantin Enea, Ruzica Piskac, editors, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Volume 11388 of Lecture Notes in Computer Science, pages 114-135, Springer, 2019. [doi]
Abstract is missing.