angr / angr/claripy

De-polymorphize all ops

Offen
#497 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
enhancement needs-triage
Vorherrschende Sprache
Python
Sterne
334
Forks
105
Ø Merge
6 Std. 1 Min.
Gemergte PRs (30 T.)
3

Beschreibung

### Description

We have ops that are polymorphic. The first one that comes to mind is `If`, but there may be others. For these cases, we should specialize the op for each type it could take, for example `IfBV`, `IfFP`, etc. This would allow us to more easily have fully typed ASTs in the future. It might be preferable to have a breaking API change to accommodate this, as that would reduce the amount of runtime type checking required, although this isn't strictly necessary, just a performance micro-optimization.

Known others: fpToFP

### Alternatives

_No response_

### Additional context

_No response_

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.