dg
version used in my master's thesis
A DG é uma biblioteca que contém vários bits para análise do programa. No entanto, a principal motivação dessa biblioteca é o fatiamento do programa. A biblioteca contém a implementação de uma análise de ponteiro, análise de dependência de dados, análise de dependência de controle e uma análise das relações entre os valores no LLVM Bitcode. Todas as análises Target LLVM Bitcode, mas a maioria delas é escrita de maneira genérica, portanto não dependem do LLVM em particular.
Além disso, a DG contém uma implementação de gráficos de dependência e um fator de programa estático para o LLVM Bitcode. Alguma documentação pode ser encontrada no Doc/ Diretório.
Você pode encontrar uma descrição de alto nível da DG na DG: Uma Biblioteca de Análise de Programas ou DG: Análise e fatiamento de documentos de código de bits LLVM. Informações mais detalhadas sobre a DG estão na Doc/ Pasta ou na minha tese de mestrado.
Você pode escrever e-mails com questões para [email protected] (ou emissão de arquivo no github).
