Lecture
This lecture delves into the realm of static analysis, a powerful tool beyond compiling code. Techniques covered include AST-based analysis, taint analysis, and symbolic execution. The instructor demonstrates how these techniques can be applied to the Amy language.