Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari. Numerical static analysis with Soot. In Patrick Lam, Elena Sherman, editors, Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013. pages 25-30, ACM, 2013. [doi]
@inproceedings{AmatoMS13,
title = {Numerical static analysis with Soot},
author = {Gianluca Amato and Simone Di Nardo Di Maio and Francesca Scozzari},
year = {2013},
doi = {10.1145/2487568.2487571},
url = {http://doi.acm.org/10.1145/2487568.2487571},
researchr = {https://researchr.org/publication/AmatoMS13},
cites = {0},
citedby = {0},
pages = {25-30},
booktitle = {Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013},
editor = {Patrick Lam and Elena Sherman},
publisher = {ACM},
isbn = {978-1-4503-2201-0},
}