Abstract

Constant evolution is an inherent property of modern software systems. Software evolves to implement new features, adapt to new hardware andplatforms, fix bugs and security vulnerabilities, or improve non-functional properties such as performance and energy consumption. While these changes have an overall positive impact, they are also responsible for a large number of critical bugs and security attacks.

Program analysis techniques such as fuzzing and symbolic execution have shown great promise in terms of improving the reliability and security of software. However, program analysis techniques are typically designed to be applied to entire programs and can struggle to keep up with the high pace of modern software development. In this talk, I will present some of our recent research in making program analysis more agile and reflect on remaining challenges and opportunities.

Annual Lecture @ Imperial Global Singapore.