Open Analyses Library

Open Analyses Library

Bachelor Thesis, Master Thesis

OPAL is a comprehensive library for static analyses that is developed in Scala to facilitate the writing of a wide range of different kinds of analyses. OPAL supports the development of analyses ranging from bug/bug pattern detection up to full-scale data-flow analyses.

In the context of this project we are always searching for students who are interested in static analysis and want to implement them using Scala. Topics of interest are, e.g., analyses to detect and validate a software's architecture, to find security wholes, to develop need base static analyses such as Call Graph Algorithm or to visualize a software.

If you are interested in OPAL, do not hesitate to contact Dr. Michael Eichberg. For further information, you can also go to The OPAL Project