trailofbits/manticore

Refactor/unify repetitive pattern

Open

#1 059 ouverte le 16 août 2018

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Python (481 forks)batch import
ethereumhelp wantedresearch

Métriques du dépôt

Stars
 (3 469 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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

Guide contributeur

Direction de recherche
Examinez les trois méthodes mentionnées (Solver.get all values, Solver.get value, ConstraintSet.migrate) et identifiez le motif répétitif. Proposez ensuite une méthode clone pour unifier le motif. Tenez compte des cas limites pour différents types de variables.
Stack technique
python
Domaine
backend
Type d'issue
Refactorisation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
GitPython
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60