Testumgebung für C/C++-basierte statische Programmanalyse
Lecture Notes in Computer Science, vol 11428. Springer, Cham. https://doi.org/10.1007/978-3-030-17465-1_22 Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++ Philipp Dominik …
