Static Analysis of TIP