dg
version used in my master's thesis
DG adalah perpustakaan yang berisi berbagai bit untuk analisis program. Namun, motivasi utama perpustakaan ini adalah mengiris program. Perpustakaan berisi implementasi analisis pointer, analisis ketergantungan data, analisis ketergantungan kontrol, dan analisis hubungan antara nilai -nilai dalam bitcode LLVM. Semua analisis target bitcode LLVM, tetapi kebanyakan dari mereka ditulis dengan cara umum, sehingga mereka tidak bergantung pada LLVM khususnya.
Lebih lanjut, DG berisi implementasi grafik ketergantungan dan slicer program statis untuk bitcode LLVM. Beberapa dokumentasi dapat ditemukan di DOC/ Direktori.
Anda dapat menemukan deskripsi tingkat tinggi DG di DG: Perpustakaan Analisis Program atau DG: Analisis dan pengiris kertas bitcode LLVM. Informasi lebih rinci tentang DG ada di DOC/ folder atau dalam tesis utama saya.
Anda dapat menulis email dengan masalah ke [email protected] (atau masalah file di GitHub).
