How to generate constraint from assembly?

[Ychame]

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]

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.