@inproceedings{	tacas19phasar,
author="Schubert, Philipp Dominik
and Hermann, Ben
and Bodden, Eric",
editor="Vojnar, Tom{\'a}{\v{s}}
and Zhang, Lijun",
title="PhASAR: An Inter-procedural Static Analysis Framework for C/C++",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="393--410",
 url = {https://www.bodden.de/pubs/tacas19phasar.pdf},
}