Programming LAnguages
and StatiC AnaLysis Group
and StatiC AnaLysis Group
Posts
-
July 31, 2022
Tai-e, an easy-to-learn, easy-to-use, efficient, and extensible static analysis framework for Java, has been released at GitHub! Please refer to our technical report for details.
-
April 25, 2022
Tai-e assignments for static program analysis has been released at GitHub!
-
August 31, 2021
Our paper “Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity” has been accepted by OOPSLA’21.
-
September 29, 2020
ZIPPER-e (introduced in our TOPLAS’20 paper) has been released at GitHub!
-
April 15, 2020
Our paper “A Principled Approach to Selective Context Sensitivity for Pointer Analysis” has been accepted by TOPLAS.
-
October 15, 2019