GitHub repository: red-beeard/TIP
Description: Static program analysis for TIP