Static analysis is the analysis of computer software, done without executing the code.
A symbolic math interpreter built using Sympy
A compiler written in Java that converts a C-like language into Java Bytecode