This is going to be an informal introduction to program analysis. In program analysis, a given program is analyzed to infer useful information about the program. The obtained information enables us to reveal interesting characteristics of the program behavior. For example it can help us to find programming mistakes (bugs).
Different concepts in program analysis will be discussed including type and pointer analysis. I will use slides and blackboard during my talk. Also, there will be interactive activities where we walk through a concept through some code or illustration.
(As a side note: I plan to use this talk and it feedbacks in my Science Teaching course)
EvaluationLogin to evaluate.