Designing Code Analyses for Large-Scale Software Systems (DECA)
Master's course, Paderborn University, Department of Computer Science
Graduate course covering the design and implementation of static program analyses for large-scale software systems. Topics include data-flow analysis, pointer analysis, taint analysis, and the use of frameworks such as Soot and WALA.
I supervised this course in: WS 19/20, 20/21, 21/22, 23/24, 24/25