Open-Source Tools (Jingling Xue)

If you use our open-source tools in your research projects, we would appreciate if you acknowledge them by citing our relevant papers.

• Compiler Techniques for Improving SIMD Parallelism
  • Poker: Permutation-based SIMD Execution of Intensive Tree Search by Path Encodin (CGO'18) (Best Paper Award Nominee)
  • LOOP-MIX: a Loop Vectorizer for Exploiting Mixed SIMD Parallelism (CGO'16) (Best Paper Award)
• Pointer Analysis for C
  • SVF: A Static Value-Flow Analysis Tool in LLVM (CC'16)
  • SUPA: An on-demand point analysis tool with strong updates (FSE'16)
  • FSAM: A sparse flow-sensitive pointer analysis tool for multithreaded programs (CGO'16)
  • SELFS: A Region-Based Pointer Analysis Tool in LLVM (SAS'14)
• Pointer Analysis for Java
  • Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (ECOOP'22)
  • Automatic Generation And Reuse Of Precise Library Summaries For Pointer Analysis (ASE'23)
  • Selectx: Selective Context-Sensitivity for k-CFA with CFL-Reachability (SAS'21)
  • CFL-Reachability-based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM 2021)
  • MAHJONG: Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata (PLDI'17)
  • BEAN: Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting (SAS'16)
• Pointer Analysis for Rust
  • A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction. 2024 International Conference on Compiler Construction (CC'24)
• Information Flow Analysis
  • Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows (ASE'23) (Distinguished Paper Award)
  • Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection (ISSTA'23) (Distinguished Artifact Award)
• Reflection Anaysis for Java and Android Applications
  • RIPPLE: A Reflection Analysis Tool for Android Apps In Incomplete Information Environments (CODASPY'17)
  • ELF: A Self-Inferencing Reflection Analysis Tool for Java (ECOOP'14)
  • SOLAR: A Soundness-Guided Reflection Analysis Tool for Java (SAS'15)
• Program Slicing for Java
  • TAILOR: Program Tailoring: Slicing by Sequential Criteria (ECOOP'16) (Distinguished Paper Award)
• Bug Analysis and Detection
  • GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs (CGO'21)
  • Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis (ISSRE'20)
  • B2SFinder: Detecting Open-Source Software Reuse in COTS Software (ASE'19)
• Program Synthesis
  • DFASy: Automatic Synthesis of Data-Flow Analyzers (SAS'21)