Statische Analyse von Programmen mit Bibliotheken. Eine Untersuchung des aktuellen Forschungsstands mit der Umsetzung und Evaluierung der Fragment-Analyse