GitHub repository: pascal-lab/Tai-e-assignments
Primary language: Java
Description: Tai-e assignments for static program analysis