---

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.

---

After completion of the Bachelor of Science in computer science at the Albert-Ludwigs-University in Freiburg, Vanessa Kastmann (born Struve) graduated from the Technical University of Darmstadt continued and ended it in 2009 with the Master of Science in computer science. She now works as a systemarchitect in Hamburg, Germany.

---