Diese Arbeit stellt einen Algorithmus vor, der im Quelltext vorliegende While-Programme in Kontrollflussgraphen überführt. Diese Kontrollflussgraphen sind so gestaltet, dass sie im Rahmen des von Daniel Wasserrab in seiner Dissertation vorgestellten Slicing-Frameworks weiter genutzt werden können. Es wurde ein Parser entwickelt, der im Quelltext vorliegende Programme in Syntaxbäume überführt, die dann von einem verifizierten Algorithmus in einen Kontrollflussgraphen umgewandelt werden. Dabei wird eine für diesen Zweck entwickelte, abstrakte Graphenschnittstelle verwendet, die zusammen mit einer dazugehörigen, verifizierten Implentierung, die auch Teil dieser Arbeit ist, eine Ausführung des Algorithmus erlaubt. Die Laufzeiten der Graphenimplementierung und der Konstruktion der Kontrollflussgraphen werden anhand des Quelltextes hergeleitet und anschließend experimentell bestätigt.