Nieuwe wegen door het oerwoud van statische code analyse-alarmen
Statische code analyses zijn een goede manier om code te verifiëren en fouten te vinden, zonder dat het programma uitgevoerd wordt. Toch wordt het nog lang niet altijd gebruikt, onder meer omdat er vaak ontzettend veel alarmen uitkomen. Tukaram Muske, die afgelopen juli promoveerde aan de Technische Universiteit Eindhoven (TU/e), heeft technieken ontwikkeld waarmee het aantal alarmen flink gereduceerd kan worden.
© Tukaram Muske
Tukaram Muske