{"repo":"QilinPTA/Qilin","free":true,"listed":false,"github":"https://github.com/QilinPTA/Qilin","clone":"git clone https://github.com/QilinPTA/Qilin.git","description":"Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis","language":"Java","stars":146,"topics":["java-pointer-analysis","static-analysis"],"license":"LGPL-2.1","category":"dev-tools","readme_excerpt":":warning: Documentation for Qilin is under development. News Moon , another context debloating technique published in OOPSLA 2025, is now available in Qilin DebloaterX published in our OOPSLA paper is now available in Qilin Qilin now supports Soot-4.7.1 Qilin: A fully imperative Java Pointer Analysis Framework. The repository hosts Qilin, a new Java pointer analysis framework for supporting fine-grained context-sensitivity. For technical details, please refer to our ECOOP'22 paper. A Quick Start Prerequisites Java 16+ (Qilin uses the pattern matching for instanceof provided since Java 16). Python 3.5+ (the api subprocess.run used in artifact/qilin.py is added in Python 3.5). Download This repository contains a submodule that contains a set of real-world ready-to-use benchmarks for Qilin. If you want to run Qilin on these benchmarks, please use the following command to fetch the Qilin source code: If you have cloned Qilin in a normal way, you still can use the command below to download these benchmarks: Building Qilin with Gradle We use Gradle as the build automation tool. To build Qilin, use This script contains commands to generate Qilin-VERSION-SNAPSHOT.jar , which will be automatically moved into artifact/ . For users who want to build Qilin in IDE, please refer to this page. Using Qilin You can use Qilin either through its command-line interface (e.g., driver.Main ) or as a library. For researchers who are working on Java pointer analysis, we have provided a whole set of ","default_branch":null,"files":null,"tree":[],"storefront":"/r/QilinPTA","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/QilinPTA/Qilin/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}