trailofbits/manticore

Add the pathgrind examples to test manticore

Open

#884 aberto em 30 de abr. de 2018

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (481 forks)batch import
easygood first issuehelp wantedideatesting

Métricas do repositório

Stars
 (3.469 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

There are more than 20 different small C programs to test the input generation in the pathgrind tool (but sadly this project is abandoned!). One particularly interesting example is the re-implementation of the ms08_067 XP/Vista vulnerability. Our tool should be able to discover such vulnerability exploring all the paths.

Guia do colaborador

Direção de pesquisa
Clone o repositório pathgrind, copie os casos de teste do diretório testcase para o conjunto de testes do manticore e execute o manticore em cada um para verificar se explora todos os caminhos.
Pilha de tecnologia
pythonc
Domain
testingsecurity
Tipo Issue
Teste
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PythonCGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60