Startseite > Publikationen > Publikationen

Publikationen

Schubert, Philipp;Hermann, Ben;Bodden, Eric:

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.

In: Vojnar, Tomas;Zhang, Lijun (Hrsg.): Tools and Algorithms for the Construction and Analysis of Systems, S. 393-410, Cham, 2019, Springer International Publishing

Weblink

http://www.bodden.de/pubs/tacas19phasar.pdf

Bibtex

@inproceedings{key=tacas19phasar,
author = {Schubert, Philipp and Hermann, Ben and Bodden, Eric},
title = {PhASAR: An Inter-Procedural Static Analysis Framework for C/C++},
editor = {Vojnar, Tomas and Zhang, Lijun},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
pages = {393-410},
address = {Cham},
publisher = {Springer International Publishing},
year = {2019},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9866