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

Philipp Dominik Schubert, Ben Hermann, Eric Bodden

Browse the full TACAS paper archive.