STANSE: Framework zur Fehlersuche für C-Programme