Diese Arbeit befasst sich mit Kontrollabhängigkeiten in Programmen. Es werden sowohl verschiedene Definitionen für Kontrollabhängigkeit untersucht und Zusammenhänge zwischen diesen aufgezeigt als auch jeweils Algorithmen vorgestellt, mit denen die verschiedenen Arten von Kontrollabhängigkeit berechnet werden können. Zudem erfolgt eine Untersuchung der im Rahmen der Studienarbeit erfolgten Implementierungen der vorgestellten Algorithmen im Bauhaus-Forschungsprojekt der Universität Stuttgart.