trailofbits/manticore

Add the logic bomb examples to test manticore

Aberta

#1.487 aberto em 15 de jul. de 2019

Ver no GitHubGuia do colaborador
 (2 comentários) (0 reação) (0 responsável)Python (481 forks)batch import
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

Métricas do repositório

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

Description

There are more than 60 different small C programs to test the input generation in the logic bombs benchmark. Manticore [native] could integrate them in the testing to make sure these difficult examples are correctly handled.

Guia do colaborador

Direção de pesquisa
Clone o repositório de logic bombs e adicione os programas C como casos de teste no conjunto de testes do Manticore, garantindo que sejam compilados e executados pelo mecanismo de execução simbólica nativo do Manticore.
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.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
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.
65