search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
677 stars 44 forks source link

Merge crucible-pcode #1167

Closed langston-barrett closed 3 weeks ago

langston-barrett commented 9 months ago

Thomas Ulmer (@TCCQ) has been working on a frontend for Crucible that would ingest Ghidra's "low" pcode as part of an undergraduate thesis. The implementation so far is available here: https://github.com/TCCQ/crucible-pcode. This issue is a reminder for us to follow up and merge this work in a few months, when Thomas's thesis is complete.

langston-barrett commented 3 weeks ago

I don't think this tool matured to the point where it would be ready to integrate into this repo.