2over12/tip_analysis

TIP Analysis in OCaml

Implementing analyses from https://cs.au.dk/~amoeller/spa/ in OCaml.

Status:

• CH2 (Parser) - Done
• CH3 (Type Analysis) - In Progress

Note

This codebase intentionally avoids utilizing libraries (ie. ocamlgraph fixpoint analyses) for the learning experience.