trailofbits/manticore

Refactor/unify repetitive pattern

Open

#1.059 aberto em 16 de ago. de 2018

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (481 forks)batch import
ethereumhelp wantedresearch

Métricas do repositório

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

Description

This pattern comes up pretty regularly (in Solver.get_all_values, Solver.get_value, ConstraintSet.migrate), should we make a Expression.clone() ?

                if isinstance(foreign_var, Bool):
                    new_var = self.new_bool(name=migrated_name)
                elif isinstance(foreign_var, BitVec):
                    new_var = self.new_bitvec(foreign_var.size, name=migrated_name)
                elif isinstance(foreign_var, Array):
                    # Note that we are discarding the ArrayProxy encapsulation
                    new_var = self.new_array(index_max=foreign_var.index_max, index_bits=foreign_var.index_bits, value_bits=foreign_var.value_bits, name=migrated_name).array

Guia do colaborador

Direção de pesquisa
Examine os três métodos mencionados (Solver.get all values, Solver.get value, ConstraintSet.migrate) e identifique o padrão repetitivo. Em seguida, proponha um método clone para unificar o padrão. Considere casos extremos para diferentes tipos de variáveis.
Pilha de tecnologia
python
Domain
backend
Tipo Issue
Refatoração
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
GitPython
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60