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