Static Analysis Course