GitHub repository: pascal-lab/Tai-e
Primary language: Java
Description: An easy-to-learn/use static analysis framework for Java