dg
version used in my master's thesis
DG는 프로그램 분석을 위해 다양한 비트를 포함하는 라이브러리입니다. 그러나이 라이브러리의 주요 동기는 프로그램 슬라이싱입니다. 라이브러리에는 포인터 분석, 데이터 의존성 분석, 제어 의존성 분석 및 LLVM 비트 코드의 값 간의 관계 분석이 포함되어 있습니다. 모든 분석은 LLVM 비트 코드를 대상으로하지만 대부분은 일반적인 방식으로 작성되므로 특히 LLVM에 의존하지 않습니다.
또한 DG에는 종속성 그래프의 구현 및 LLVM 비트 코드 용 정적 프로그램 슬라이서가 포함되어 있습니다. 일부 문서는 DOC/ Directory에서 찾을 수 있습니다.
DG에서 DG에 대한 높은 수준의 설명 : 프로그램 분석 라이브러리 또는 DG : LLVM 비트 코드 용지의 분석 및 슬라이스. DG에 대한 자세한 정보는 DOC/ 폴더 또는 마스터 논문에 있습니다.
문제가있는 이메일을 [email protected] (또는 Github의 파일 문제)에 작성할 수 있습니다.
