Open-Source Tools

• An easy-to-learn, easy-to-use, efficient and extensible static analysis framework for Java
• Paper: Tai-e - A Static Analysis Framework for Java by Harnessing the Best Designs of Classics (Arxiv)

• A extremely fast pointer analysis tool with good precision
• Paper: A Principled Approach to Selective Context Sensitivity for Pointer Analysis (TOPLAS 2020)

• A highly scalable pointer analysis tool
• Paper: Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity (FSE 2018)

• A precision-guided pointer analysis tool
• Paper: Precision-Guided Context Sensitivity for Pointer Analysis (OOPSLA 2018)

• An efficient and precise points-to analysis tool
• Paper: Efficient and Precise Points-To Analysis: Modeling the Heap by Merging Equivalent Automata (PLDI 2017)

• A precise pointer analysis tool
• Paper: Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting (SAS 2016)

• A scalable program slicing tool
• Paper: Program Tailoring: Slicing by Sequential Criteria (ECOOP 2016)

• A controllable reflection analysis tool for Java
• Paper: Effective Soundness-Guided Reflection Analysis (SAS 2015)

• A precise reflection analysis tool for Java with good soundness
• Paper: Self-Inferencing Reflection Resolution for Java (ECOOP 2014)