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