seninja 다운로드 seninja 소스 코드 다운로드

seninja

기타 카테고리

v0.5.0

다운로드

Seninja- 이진 닌자 용 기호 실행 플러그인

: 실행을 시작하십시오

: 현재 상태를 단계별로 세우십시오

: 분기까지 실행하십시오

: 현재 선택된 주소가 될 때까지 현재 상태를 실행합니다.

: DFS 검색을 시작하십시오

: BFS 검색을 시작하십시오

: 현재 선택된 주소를 검색 대상으로 설정

: 검색 중에 현재 선택된 주소를 피하십시오

: 대상을 재설정하고 주소를 피하십시오

: 검색을 중지하십시오

: Seninja를 재설정하십시오

보기보기

레지스터보기는 활성 상태의 레지스터 값을 시각화하는 데 사용될 수 있습니다. 두 번 클릭하면 레지스터 값을 수정할 수 있습니다. 마우스 오른쪽 버튼 클릭 메뉴에서는 다음과 같습니다.

레지스터의 내용을 복사하십시오
레지스터의 값을 구체화하십시오
솔버를 사용하여 레지스터의 값을 평가하십시오
기호를 주입하십시오
레지스터 표현식을 표시하십시오
버퍼보기로 생성 된 버퍼의 주소로 레지스터를 설정하십시오.

메모리보기

메모리보기는 활성 상태의 메모리의 일부 값을 시각화하는 데 사용될 수 있습니다. "모니터 메모리"를 클릭하면 사용자는 모니터링 할 메모리 주소를 지정할 수 있습니다. 위젯에는 해당 주소에서 시작하여 512 바이트가 표시됩니다. 메모리보기는 헥스 뷰와 ASCII보기의 두 섹션으로 분할됩니다. Hexview는 바이트가 매핑되고 콘크리트 인 경우에만 각 바이트의 16 진수를 보여줍니다. 바이트가 맵핑되지 않으면 characted _ 가 표시됩니다. 바이트가 상징적 인 경우 위젯에 문자가 표시됩니다 . .

마우스 오른쪽 버튼 클릭 메뉴에서는 다음과 같습니다.

선택을 복사하십시오 (예 : 리틀 엔디언, 이진 등 다양한 형식으로).
선택의 가치를 구체화하십시오
솔버를 사용하여 선택의 값을 평가하십시오
기호를 주입하십시오

버퍼보기

이 위젯을 사용하면 상징적 인 데이터가 포함 된 버퍼를 생성 할 수 있습니다.

명령 줄 API

파이썬 쉘을 통해 더 많은 API를 실행할 수 있습니다. 예를 들어, 솔버를 사용하여 현재 상태의 조건을 증명할 수 있습니다.

 > >> import borzacchiello_seninja as seninja
> >> s = seninja . get_current_state ()
> >> s . solver . satisfiable ( extra_constraints = [ s . regs . eax == 3 ])

이 코드는 활성 상태의 경로 제약 조건을 감안할 때 eax == 3 의 만족도를 확인합니다.

명령에 대한 자세한 정보를 얻으려면 위키에 문의하십시오.

설정

Seninja는 사용자에게 기호 엔진의 많은 부분 (예 : 페이지 차원, 상징적 메모리 액세스 전략 등)을 구성 할 수 있습니다. Edit/Preferences/Settings 클릭하고 왼쪽 위젯에서 SENinja 선택하여 사용 가능한 모든 설정에 액세스하고 수정할 수 있습니다.