GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
628 stars 42 forks source link

crucible-llvm: Helpers for binding function handles #1142

Closed langston-barrett closed 9 months ago

langston-barrett commented 9 months ago

Introduce a few low-level helpers for binding function handles. These helpers abstract patterns seen in different parts of the codebase (override registration and lazy CFG translation).