GitHub repository: 9Fork/Tai-e-assignments
Description: Tai-e assignments for static program analysis