Dna

Dna Dna는 LLVM 기반으로 구축된 정적 바이너리 분석 프레임워크입니다. 특히 LLVM, Remill, Souper에 대한 관리형 바인딩을 포함하여 거의 전적으로 C으로 작성되었습니다. 기능 Dna는 SATURN 논문에서 크게 영감을 받은 반복적 제어 흐름 그래프 재구성을 구현합니다. 완전한 제어 흐름 그래프가 복구될 때까지 재귀 하강, 리프팅remill 사용, 경로 해석을 반복적으로 적용합니다. 점프 테이블의 경우 Souper와 z3를 기반으로 한 재귀 알고리즘을 사용하여 가능한 점프 테이블 대상 집합을 해석합니다. 반...