Tools for analysis of complex software systems

Methods and techniques from program analysis research sometimes have restrictions that do not hold in industrial systems, e.g. they do not allow certain language constructs or they assume specific execution models.Reimplementing the system before the proposed methods are applied may solve the problem. For large, complex systems, this may be too costly.The aim of this project is to explore and evaluate different methods and strategies that can be used to analyse existing, complex software systems without requiring reprogramming/modification of the system before analysis.