x86: Implement symbolic LSL

Métriques du dépôt

Stars

3 469 stars (3 469 stars)

Métriques de merge PR

Aucune PR mergée en 30 j (Aucune PR mergée en 30 j)

Description

Cette issue ne contient pas de description.

Guide contributeur

Direction de recherche

Étudiez les implémentations existantes d'instructions x86 dans le modèle CPU de Manticore (par exemple dans manticore/x86/instructions.py) et suivez le modèle pour implémenter la sémantique symbolique de LSL. Référez vous au manuel Intel pour le comportement de LSL.

Stack technique

python

Domaine

backend

Type d'issue

Fonctionnalité

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

Python

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

65