TU/e-onderzoeker versnelt automatisch debuggen

Statische code-analyse, waarbij softwareprogramma’s automatisch worden gecontroleerd zonder ze daadwerkelijk te draaien, is een belangrijke techniek om veelvoorkomende programmeerfouten op te sporen en te rapporteren. Vaak geven tools voor deze analyse echter valse alarmmeldingen. Hiervoor ontwikkelde…

Geef een antwoord

Het e-mailadres wordt niet gepubliceerd. Vereiste velden zijn gemarkeerd met *