@inproceedings{ tacas19phasar, author = {Philipp D. Schubert and Ben Hermann and Eric Bodden}, title = {{PhASAR: An Inter-Procedural Static Analysis Framework for C/C++}}, booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, year = {2019}, awarded = {Artifact Evaluation Award}, keywords = {ITSECWEBSITE}, note = {To appear.} }