DG هي مكتبة تحتوي على أجزاء مختلفة لتحليل البرنامج. ومع ذلك ، فإن الدافع الرئيسي لهذه المكتبة هو تقطيع البرنامج. تحتوي المكتبة على تنفيذ تحليل المؤشر ، وتحليل اعتماد البيانات ، وتحليل الاعتماد على التحكم ، وتحليل العلاقات بين القيم في LLVM Bitcode. جميع التحليلات تستهدف LLVM Bitcode ، ولكن معظمها مكتوب بطريقة عامة ، لذلك لا يعتمدون على LLVM على وجه الخصوص.
علاوة على ذلك ، يحتوي DG على تنفيذ الرسوم البيانية للاعتماد وقطعة برنامج ثابت لـ LLVM bitcode. يمكن العثور على بعض الوثائق في Doc/ Directory.
يمكنك العثور على وصف عالي المستوى لـ DG في DG: مكتبة تحليل البرنامج أو DG: تحليل وتقطيع أوراق Bitcode LLVM. المزيد من المعلومات التفصيلية حول DG موجودة في المستند/ المجلد أو في أطروحتي الرئيسية.
يمكنك كتابة رسائل البريد الإلكتروني مع مشكلات إلى [email protected] (أو مشكلة الملف في Github).