Weekly homework assignments, lab assignments in a block, oral examination at the end
Module examination
Written or oral Exam
Skills to be acquired in this module
Software analyses extract facts about programs from source code. Such facts can be employed by compilers to optimize programs during compilation, but can also be used to verify correctness of programs. The students get to know different analysis methods, specify such techniques themselves and implement them. Professional competences
The students:
get to know data flow analysis and specify them
name the components of data flow systems
know when to apply widening operators in an analysis
are able to develop abstract domains and operators for abstract interpretation
know predicate abstraction and the principle of counterexample-guided abstraction refinement
know when and how to apply SSA forms
are able to judge the precision and scalability of points-to analyses