Qilin
1.0.0
켈 Qilin에 대한 문서가 개발 중입니다.
이 저장소에는 세밀한 컨텍스트 감각을 지원하기위한 새로운 Java 포인터 분석 프레임 워크 인 Qilin을 호스트합니다. 기술적 인 자세한 내용은 Ecop'22 논문을 참조하십시오.
instanceof 들어 패턴 일치를 사용합니다).artifact/qilin.py 에 사용되는 API subprocess.run 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을 구축하려는 사용자의 경우이 페이지를 참조하십시오.
명령 줄 인터페이스 (예 : driver.Main )를 통해 Qilin을 사용하거나 라이브러리로 사용할 수 있습니다. Java Pointer Analysis에서 작업하는 연구원의 경우 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에서 Merge 요청을 열고 수행 한 작업에 대한 간단한 설명을 남겨 두십시오.
Qilin은 GPL v2.1 라이센스에 따라 라이센스 파일을 참조하십시오.
