Rodin Aarsen: Static Analysis on Legacy Software


Event Details


Legacy software is a prominent bottleneck in modern industry: it is hard and costly to maintain, yet contains valuable knowledge not available elsewhere. Static analysis provides insight by extracting facts from existing code bases. In this talk, I will address complications and progress on my static analysis tooling in Rascal.