GrammaTech/retypd

How to generate constraint from assembly?

Opened this issue · 1 comments

Ychame commented

Hi, I read the code under /test. It seems that the type constraints are hard-coded, is there any API that generates Retypd constraints?

aeflores commented

Hi @Y-chav, we are working on a couple of "frontends" for Retypd. The more mature one is https://github.com/GrammaTech/retypd-ghidra-plugin. It uses Ghidra to generate type constraints.

We also have https://github.com/GrammaTech/gtirb-ddisasm-retypd. This generates type constraints from binaries represented as GTIRB files.

  • 👍2