GitHub repository: l-mh-95/TIP
Description: Static program analysis for TIP