|Speaker||Dr. Michael Petter|
|Date||daily, 5th Nov - 23rd Nov 9:00-17:00|
In this practical course we will integrate a basic program analysis in the LLVM Opt tool, and explore the generated IR code for potential optimizations.
Last semester, students have worked on an initial program analysis, inferring value set overapproximations intraprocedurally.
This semester, we will tackle interprocedural program analysis, i.e. call-string and functional analysis.