Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.

Tian Tan, Yue Li

Browse the full ISSTA paper archive.