Interprocedural Sparse Conditional Type Propagation

We prototyped an interprocedural static analysis tool using sparse conditional constant propagation.