DG เป็นห้องสมุดที่มีบิตต่าง ๆ สำหรับการวิเคราะห์โปรแกรม อย่างไรก็ตามแรงจูงใจหลักของห้องสมุดนี้คือการแบ่งโปรแกรม ห้องสมุดประกอบด้วยการใช้การวิเคราะห์ตัวชี้การวิเคราะห์การพึ่งพาข้อมูลการวิเคราะห์การควบคุมการควบคุมและการวิเคราะห์ความสัมพันธ์ระหว่างค่าใน LLVM bitcode การวิเคราะห์ทั้งหมดกำหนดเป้าหมาย LLVM BitCode แต่ส่วนใหญ่ของพวกเขาจะเขียนด้วยวิธีทั่วไปดังนั้นพวกเขาจึงไม่ได้ขึ้นอยู่กับ LLVM โดยเฉพาะ
นอกจากนี้ DG ยังมีการใช้งานกราฟการพึ่งพาอาศัยกันและตัวแบ่งโปรแกรมแบบคงที่สำหรับ BitCode LLVM เอกสารบางอย่างสามารถพบได้ใน Doc/ Directory
คุณสามารถค้นหาคำอธิบายระดับสูงของ DG ใน DG: ไลบรารีการวิเคราะห์โปรแกรมหรือ DG: การวิเคราะห์และการหั่นเอกสาร BitCode LLVM ข้อมูลรายละเอียดเพิ่มเติมเกี่ยวกับ DG อยู่ใน Doc/ Folder หรือในวิทยานิพนธ์หลักของฉัน
คุณสามารถเขียนอีเมลที่มีปัญหากับ [email protected] (หรือปัญหาไฟล์ใน GitHub)