%0 Conference Paper %1 conf/vmcai/BallabrigaFGLR19 %A Ballabriga, Clément %A Forget, Julien %A Gonnord, Laure %A Lipari, Giuseppe %A Ruiz, Jordy %B VMCAI %D 2019 %E Enea, Constantin %E Piskac, Ruzica %I Springer %K dblp %P 114-135 %T Static Analysis of Binary Code with Memory Indirections Using Polyhedra. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#BallabrigaFGLR19 %V 11388 %@ 978-3-030-11245-5

@inproceedings{conf/vmcai/BallabrigaFGLR19, added-at = {2019-01-14T00:00:00.000+0100}, author = {Ballabriga, Clément and Forget, Julien and Gonnord, Laure and Lipari, Giuseppe and Ruiz, Jordy}, biburl = {https://www.bibsonomy.org/bibtex/28c8774124bbd3a43d8e9157958f24ce6/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2019}, editor = {Enea, Constantin and Piskac, Ruzica}, ee = {https://doi.org/10.1007/978-3-030-11245-5_6}, interhash = {2137593dca387980c04308308afa3a63}, intrahash = {8c8774124bbd3a43d8e9157958f24ce6}, isbn = {978-3-030-11245-5}, keywords = {dblp}, pages = {114-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:49.000+0200}, title = {Static Analysis of Binary Code with Memory Indirections Using Polyhedra.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#BallabrigaFGLR19}, volume = 11388, year = 2019 }