Periodic Reporting for period 2 - PASS (Program Analysis for Safe and Secure Software Evolution)

Constant evolution is an inherent property of modern software systems. Software evolves to implement new features, adapt to new hardware and platforms, fix bugs and security vulnerabilities, or improve non-functional properties such as performance and energy consumption.If not...