x86: Implement symbolic LSL

Métricas do repositório

Stars

3.469 estrelas (3.469 estrelas)

Métricas de merge de PR

Nenhuma PRs mesclada em 30d (Nenhuma PRs mesclada em 30d)

Description

Guia do colaborador

Direção de pesquisa

Estude as implementações existentes de instruções x86 no modelo de CPU do Manticore (por exemplo, em manticore/x86/instructions.py) e siga o padrão para implementar a semântica simbólica do LSL. Consulte o manual da Intel para o comportamento do LSL.

Pilha de tecnologia

python

Domain

backend

Tipo Issue

Funcionalidade

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.

Meio dia

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.

Principalmente claro

Prerequisites

Python

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

65