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