Static Code Analysis (Seminar)

In the classical sense static analysis techniques are used to extract information regarding the possible behavior of a program, without actually running the program. This statically extracted information is then used for revealing bugs or optimizing the code. But the most recent developments in this area show that it is possible and actually quite beneficial to combine static analysis with techniques from the dynamic analysis world.

The topics of the seminar are primarily based on the papers linked beneath. These are the direct download links of the documents. In order to get an overview with the respective abstracts of the papers check out the available resources.

• Type-based Data Structure Verification
• Liquid Types
• Compositional May-Must Program Analysis: Unleashing the Power of Alternation
• Proofs from Tests
• DART: Directed Automated Random Testing
• From Tests to Proofs

• The Yogi Project: Software Property Checking via Static Analysis and Testing
• SYNERGY: A New Algorithm for Property Checking

The seminar will be a block course and take place at the Fachschaftshaus Schauinsland. There will be no kick-off meeting. Just send us an e-mail and we will make an appointment with you.

• Instructors: Andreas Podelski | Evren Ermis | Daniel Dietsch
• Times & Locations: There will be no kick-off meeting. Contact us (Evren Ermis or Daniel Dietsch) by e-mail and we will make a personal appointment with you.