Download de seninja - Download do Código Fonte seninja

seninja

Outras categorias

v0.5.0

Baixar

Seninja - plugin de execução simbólica para ninja binário

: Inicie a execução

: pisar no estado atual

: correr até o ramo

: Execute o estado atual até o endereço atualmente selecionado

: Inicie uma pesquisa do DFS

: Inicie uma pesquisa BFS

: Defina o endereço atualmente selecionado como o alvo da pesquisa

: Evite o endereço atualmente selecionado durante uma pesquisa

: Redefinir alvos e evitar endereços

: pare uma pesquisa

: Redefinir seninja

Registrar visualização

A visualização do registro pode ser usada para visualizar o valor dos registros do estado ativo. O valor de um registro pode ser modificado clicando duas vezes nele. O menu do clique com o botão direito permite:

Copie o conteúdo do registro
Concretizar o valor do registro
Avalie o valor do registro usando o solucionador
Injetar símbolos
Mostre a expressão do registro
Defina o registro para o endereço de um buffer criado com a visualização do buffer

Visualização da memória

A visualização da memória pode ser usada para visualizar o valor de uma parte da memória do estado ativo. Ao clicar em "Monitorar memória", o usuário pode especificar um endereço de memória para monitorar. O widget mostrará 512 bytes a partir desse endereço. A visualização da memória é dividida em duas seções: uma visualização hexadecimal e uma visualização ASCII. O Hexview mostra o valor hexadecimal de cada byte apenas se o byte for mapeado e concreto. Se o byte for não mapeado, o caracto _ será mostrado; Se o byte for simbólico, o widget mostra o personagem . .

O menu do clique com o botão direito permite:

Copie a seleção (em vários formatos, por exemplo, Little-Endiano, Binário, etc.)
Concretizar o valor da seleção
Avalie o valor da seleção usando o solucionador
Injetar símbolos

Visualização de buffers

Este widget permite a criação de buffers contendo dados simbólicos.

APIs da linha de comando

Mais APIs podem ser executadas através do shell python. Por exemplo, podemos usar o solucionador para provar uma condição para o estado atual:

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

O código verificará a satisfação do eax == 3 dada a restrição do caminho do estado ativo.

Consulte o wiki para ter mais informações sobre os comandos.

Configurações

Seninja dá ao usuário a possibilidade de configurar muitas partes do mecanismo simbólico (por exemplo, dimensão das páginas, estratégia de acesso à memória simbólica etc.). Todas as configurações disponíveis podem ser acessadas e modificadas clicando em Edit/Preferences/Settings e selecionar SENinja no widget esquerdo.