Onderzoek maakt automatisch debuggen van software stuk sneller

Tukaram Muske, promovendus aan de Technische Universiteit Eindhoven, heeft technieken ontwikkeld die het debuggen van software een stuk simpeler moet maken.

Statische code-analyse, waarbij softwareprogramma’s automatisch worden gecontroleerd zonder ze daadwerkelijk te draaien, is een belangrijke techniek om veelvoorkomende (mogelijke) programmeerfouten op te sporen en te rapporteren. Probleem is dat deze tools regelmatig valse alarmmeldingen geven.