Realization of Lima

Software development processes are comprehensive and complex. Checking a certain property of a program, e.g. testing whether array bounds are exceeded, can be realized by testing the program with a corresponding test suite or by applying an appropriate static analysis. For checking the given property with testing, exhaustive testing is required. The complexity of exhaustive testing increases really fast, already with small programs. Testing often is too expensive. In this work, we present the language Lima (Lightweight Intermediate Language for Model Analysis) which is used as an intermediate representation for different programming languages. Using Lima enables us to write static program analyses that can be applied to Lima programs originating from different programming languages.