Course Modules

Get up to speed with OCaml fundamentals: syntax, types, recursion, collections, modules, and a calculator parser.

Learn what program analysis is, compare static vs dynamic approaches, and explore soundness, completeness, and decidability.

Explore how compilers represent code as Abstract Syntax Trees. Build visualizers, traversals, symbol tables, and transformations.

Build control flow graphs, implement the dataflow analysis framework, and apply reaching definitions and live variable analyses.

Learn abstract interpretation theory: lattices, Galois connections, and widening. Implement sign, constant propagation, and interval analyses.

Apply program analysis to security: taint analysis, information flow tracking, and automatic vulnerability detection.

Capstone module: combine all analyses into a real tool. Build a multi-pass analyzer with configurable pipelines and reporting.