S

soot

IISc Bangalore - PAV Programming Assignment template

E0 227: Program Analysis and Verification (2025 Aug)

Performs interprocedural and intraprocedural PointsTo analysis on static Java methods using a bounded call string approach.

a static analyzer, built for an assignment at the ETH "Software Architecture and Engineering" SAE 2017