aleclearmind

Please try `revng --verbose translate` to see the commands you want to invoke.

A temporary hack might be to replace the `pc` argument with two `uint64_t` and then: ```c void newpc(uint64_t First, uint64_t Second, uint64_t instruction_size, uint32_t is_first, uint8_t *vars, ...) { PlainMetaAddress...

Looks good! Squash the commits, use the 50/72 rule and initial capital and it can go in. Thanks!

I guess the only way to handle this is to convert each integer argument to the correct type before forwarding it to the CFFI wrapper. A bit annoying, but doable....

Any progress on this?

* `DetectABI` has not been changed to return `llvm::Error`, why? * Do we have a sister PR for revng-c?

You need to run `revng` from an `orc shell`

For the first problem, it's not always possible to safely understand that the argument coming after a `char *` is the length of the previous argument. In some cases we...

I like 1), however what do we do if the length is not the last argument? We should provide default values for all the arguments after it too, and the...

@cgrenz could you please update this issue stating what still doesn't work or works in a suboptimal way after e27b4547559d9cbd89a905f422cf66c4a98ca7c1?