Skip to content

Tai-e assignments for static program analysis.

License

LGPL-3.0, GPL-3.0 licenses found

Licenses found

LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
Notifications You must be signed in to change notification settings

bjrjk/Tai-e-assignments

 
 

Repository files navigation

Tai-e Assignments for Static Program Analysis

Getting Started

If you want to do the assignments, please start with "Overview of Tai-e Assignments" [中文][English].

About

Tai-e assignments for static program analysis.

Resources

License

LGPL-3.0, GPL-3.0 licenses found

Licenses found

LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 99.4%
  • Kotlin 0.6%