Qilin
1.0.0
ショ和 Qilinのドキュメントは開発中です。
リポジトリには、きめ細かいコンテキスト感受性をサポートするための新しいJavaポインター分析フレームワークであるQilinがホストしています。技術的な詳細については、ecoop'22論文を参照してください。
instanceofにパターンマッチングを使用します）。artifact/qilin.pyで使用されるAPI subprocess.runはPython 3.5に追加されています）。このリポジトリには、Qilin用の実際の使用可能なベンチマークのセットが含まれるsubmoduleが含まれています。これらのベンチマークでQilinを実行したい場合は、次のコマンドを使用してQilinソースコードを取得してください。
$ git clone --recurse-submodules https://github.com/QilinPTA/Qilin.git
Qilinを通常の方法でクローン化した場合でも、以下のコマンドを使用してこれらのベンチマークをダウンロードできます。
$ git submodule update --init
Gradleをビルドオートメーションツールとして使用します。 Qilinを構築するには、使用してください
$ ./run.sh
このスクリプトには、 Qilin-VERSION-SNAPSHOT.jarを生成するコマンドが含まれていますartifact/
IDEでQilinを作成したいユーザーについては、このページを参照してください。
Qilinは、コマンドラインインターフェイス（例、 driver.Main ）またはライブラリとして使用できます。 Javaポインター分析に取り組んでいる研究者には、 artifact/の下でスクリプト、ベンチマーク（ DaCapo2006など）、およびJDKライブラリのセット全体を提供しました。
Qilinをテストするには、直接実行できます。
$ cd artifact
$ python3 run.py antlr ci -print
上記のコマンドでは、画面にいくつかのメトリックが表示されているコンテキストに影響を与えないポインター分析でantlr分析します。
run.pyスクリプトを最適化して、ヘルプ情報をよりユーザーフレンドリーにする予定です。
| Qilinについて | セットアップガイド | ユーザーガイド | 開発者ガイド |
|---|---|---|---|
| Qilinの紹介 - それが何をするか、どのように設計するか | Qilinを構築するためのステップバイステップセットアップガイド | Qilinのコマンドラインオプション、および例でQilinを実行する | 詳細な技術文書とQilinをツールのLIBとして使用する方法、またはQilinで独自の分析を書く方法 |
貢献はいつでも大歓迎です。 Qilinは、研究コミュニティ全体に役立つことを期待して公開するオープンソースプロジェクトです。公式コードリポジトリに表示されたい新しい機能またはバグ修正がある場合は、GitHubでマージリクエストを開き、行ったことの簡単な説明を残してください。
QilinはGPL v2.1ライセンスに基づいてライセンスされています。ライセンスファイルを参照してください。
