mole

Mole Mole 는 바이너리에서 흥미로운 실행 경로 를 식별하도록 설계된 Binary Ninja 플러그인입니다. Binary Ninja 의 Static Single Assignment SSA 형태의 Medium Level Intermediate Language MLIL를 사용하여 변수에 대한 역방향 슬라이싱 을 수행하며, 이는 정적 오염 분석 의 기초를 형성합니다. Mole 에서 경로 는 정의된 소스와 싱크 간의 데이터 흐름을 나타냅니다. "흥미로운" 경로의 정의는 분석 목표에 따라 달라집니다. 예를 들어, 취약점 을 검색할...