Junior Research Group of Jun. Prof. Dr. Mana Taghdiri
The Automated Software Analysis (ASA) group at the Institute for Theoretical Computer Science focuses on improving the reliability of software systems by developing automatic techniques that increase programmers' confidence in their developed systems.
We mainly focus on checking correctness of object-oriented programs that extensively manipulate data structures. Our analysis uses a first order relational logic with transitive closure to handle dynamically allocated objects and to analyze their configurations in the heap of a program. This logic is then translated to simpler logics that can be handled by SAT or SMT solvers.
Similar to other static analysis techniques, scalability to large programs is the major challenge. We investigate different ideas to make our analyses scalable, while keeping them fully automatic, practical, and easy to use. In addition to developing general program analysis techniques, we study what problems arise in different domain-specific applications, and investigate how our techniques can be adapted to such domains.
For further information, please visit http://asa.iti.uni-karlsruhe.de/