GitHub repository: Ane1y/TIP
Description: Static program analysis for TIP