COM SCI 232

Static Program Analysis

Computer Science · 4 units · Graduate courses (200-299)

Open the requisite map View official UCLA course listing ↗Find on Bruinwalk ↗

Introduction to static analysis of object-oriented programs and its usage for optimization and bug finding. Class hierarchy analysis, rapid type analysis, equality-based analysis, subset-based analysis, flow-insensitive and flow-sensitive analysis, context-insensitive and context-sensitive analysis. Soundness proofs for static analyses. Efficient data structures for static analysis information such as directed graphs and binary decision diagrams. Flow-directed method inlining, type-safe method inlining, synchronization optimization, deadlock detection, security vulnerability detection. Formal specification and implementation of variety of static analyses, as well as readings from recent research literature on modern applications of static analysis.

Letter grading.

When it runs

Not on the schedule for any of Fall 2025 through Spring 2027. UCLA publishes only that window, so this does not mean the course is gone — check the official listing.

Checking the Schedule of Classes…

Requisites

Official UCLA wording
Requisite: course 132.

BruinTree reads · Prerequisite

confidence 1.00 · from text

COM SCI 132

Requires

Everything that has to come before this course, not just the courses named in the requisite above.

COM SCI 232

COM SCI 132Compiler Construction
- COM SCI 131Programming Languages
  - COM SCI 33Introduction to Computer Organization1 more beneath
  - COM SCI 35LSoftware Construction2 more beneath

1 direct requisite. Showing 4 courses over 3 levels; the branches marked with a count carry on past it. Every course here opens its own tree.

Unlocks

What this course is a requisite for, and what those courses lead to in turn.

No course in the catalog lists this as a requisite.