https://github.com/pascal-lab/tai-e-assignments

Tai-e assignments for static program analysis
https://github.com/pascal-lab/tai-e-assignments

education java program-analysis static-analysis

Last synced: about 17 hours ago
JSON representation

Tai-e assignments for static program analysis

• Host: GitHub
• URL: https://github.com/pascal-lab/tai-e-assignments
• Owner: pascal-lab
• License: lgpl-3.0
• Created: 2022-04-23T02:40:42.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-11-27T01:46:39.000Z (almost 2 years ago)
• Last Synced: 2023-11-27T08:00:28.056Z (12 months ago)
• Topics: education, java, program-analysis, static-analysis
• Language: Java
• Homepage: https://tai-e.pascal-lab.net/
• Size: 28.4 MB
• Stars: 924
• Watchers: 4
• Forks: 198
• Open Issues: 12
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

README

        


  

    

  


## Tai-e Assignments for Static Program Analysis



### Getting Started

If you want to do the assignments, please start with "*Overview of Tai-e Assignments*" [[中文](https://tai-e.pascal-lab.net/intro/overview.html)][[English](https://tai-e.pascal-lab.net/en/intro/overview.html)].