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

Schubert, Philipp D.; Hermann, Ben; Bodden, Eric

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ (bibtex)

@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.}
}