ดาวน์โหลด Qilin - ดาวน์โหลดซอร์สโค้ด Qilin

Qilin

หมวดหมู่อื่นๆ

1.0.0

ดาวน์โหลด

ผู้สำเร็จการศึกษา นักเทียบท่า

เอกสารสำหรับ Qilin อยู่ระหว่างการพัฒนา

ข่าว

debloaterx ที่ตีพิมพ์ในกระดาษ oopsla ของเรามีวางจำหน่ายแล้วใน qilin
ตอนนี้ Qilin รองรับ soot-4.5.0

Qilin: กรอบการวิเคราะห์ตัวชี้ Java ที่จำเป็นอย่างเต็มที่

ที่เก็บโฮสต์ Qilin ซึ่งเป็นกรอบการวิเคราะห์ตัวชี้ Java ใหม่สำหรับการสนับสนุนความไวต่อบริบทที่ละเอียด สำหรับรายละเอียดทางเทคนิคโปรดดูกระดาษ Ecoop'22 ของเรา

การเริ่มต้นอย่างรวดเร็ว

ข้อกำหนดเบื้องต้น

Java 16+ (Qilin ใช้การจับคู่รูปแบบ instanceof เช่น Java 16)
Python 3.5+ (API subprocess.run ที่ใช้ใน artifact/qilin.py ถูกเพิ่มใน Python 3.5)

การดาวน์โหลด

ที่เก็บนี้มี submodule ที่มีชุดของมาตรฐานพร้อมใช้งานจริงสำหรับ Qilin หากคุณต้องการเรียกใช้ Qilin บนมาตรฐานเหล่านี้โปรดใช้คำสั่งต่อไปนี้เพื่อดึงซอร์สโค้ด Qilin:

 $ git clone --recurse-submodules https://github.com/QilinPTA/Qilin.git

หากคุณได้โคลน Qilin ในลักษณะปกติคุณยังสามารถใช้คำสั่งด้านล่างเพื่อดาวน์โหลดมาตรฐานเหล่านี้:

 $ git submodule update --init

การสร้าง Qilin ด้วย Gradle

เราใช้ Gradle เป็นเครื่องมือสร้างระบบอัตโนมัติ ในการสร้าง qilin ให้ใช้

 $ ./run.sh

สคริปต์นี้มีคำสั่งเพื่อสร้าง Qilin-VERSION-SNAPSHOT.jar ซึ่งจะถูกย้ายไปยัง artifact/

สำหรับผู้ใช้ที่ต้องการสร้าง Qilin ใน IDE โปรดดูที่หน้านี้

ใช้ qilin

คุณสามารถใช้ qilin ไม่ว่าจะผ่านอินเทอร์เฟซบรรทัดคำสั่ง (เช่น driver.Main ) หรือเป็นไลบรารี สำหรับนักวิจัยที่กำลังทำงานเกี่ยวกับการวิเคราะห์ตัวชี้ Java เราได้จัดทำสคริปต์ทั้งหมดมาตรฐาน (เช่น DaCapo2006 ) และห้องสมุด JDK ภายใต้ artifact/

ในการทดสอบ qilin คุณสามารถทำได้โดยตรง:

 $ cd artifact
$ python3 run.py antlr ci -print

คำสั่งข้างต้นจะวิเคราะห์ antlr ด้วยการวิเคราะห์ตัวชี้บริบทด้วยตัวชี้วัดบางตัวที่แสดงบนหน้าจอ
เราวางแผนที่จะเพิ่มประสิทธิภาพสคริปต์ run.py เพื่อให้ข้อมูลความช่วยเหลือเป็นมิตรกับผู้ใช้มากขึ้น

เอกสาร

เกี่ยวกับ qilin	คู่มือการตั้งค่า	คู่มือผู้ใช้	คู่มือนักพัฒนา
แนะนำ qilin - มันทำอะไรและวิธีการออกแบบของเรา	คู่มือการตั้งค่าทีละขั้นตอนเพื่อสร้าง Qilin	ตัวเลือกบรรทัดคำสั่งของ qilin และเรียกใช้ qilin ด้วยตัวอย่าง	เอกสารทางเทคนิคโดยละเอียดและวิธีการใช้ qilin เป็น lib สำหรับเครื่องมือของคุณหรือเขียนการวิเคราะห์ของคุณเองใน qilin

มีส่วนร่วมใน qilin

ยินดีต้อนรับการมีส่วนร่วมเสมอ Qilin เป็นโครงการโอเพ่นซอร์สที่เราเผยแพร่ด้วยความหวังว่ามันจะเป็นประโยชน์ต่อชุมชนการวิจัยโดยรวม หากคุณมีคุณสมบัติใหม่หรือการแก้ไขข้อผิดพลาดที่คุณต้องการดูในที่เก็บรหัสอย่างเป็นทางการโปรดเปิดคำขอผสานที่นี่ใน GitHub และแสดงคำอธิบายสั้น ๆ เกี่ยวกับสิ่งที่คุณทำ