Viewing profile — aleclm

Yes. Roadmap item: https://rev.ng/roadmap#feature-798 Design pad: https://pad.rev.ng/s/eDHi2PUoP#

> should SLL decompile to x I think this a bit of a misguided question. The hardware has a precise semantic defined, usually. QEMU's 32), but this means that the lifter (still QEMU…

Thanks! It has been working very well. Two regrets: 1. Not rebasing our fork of QEMU for years has put us in a bad spot. But just today a member of our team managed to lift stuff w…

I 120% agree with what you're saying, but emitting valid C is kinda part of what you're asking, in design terms. Our goal is: omit all the casts that can be omitted without changin…

> `source ./environment` is what's written on the announcement page at the top of this thread. './revng' doesn't appear anywhere on it. You're right, but after that there's a link …

Can you open an issue on GitHub and attach the binary? I don't think it should be too hard to load that.

In IDA you basically have only detection of stack frame layout (in a quite confusing fashion) and "create struct out of this pointer", which is something you have to do manually an…

I think most of your concerns about messing with the environment are sensible only under the assumption that you actually do `source environment`. In truth, we suggest to do that o…

Languages with a rich standard library and generating a lot of code for you usually need some love to get rid/represent idiomatically common patterns and to detect common data stru…

Sure, in those cases we emit calls to C functions. The only thing we need to know is what registers are taken as input, what registers are output and what registers are preserved. …

Students shouldn't pay a dime. They are poor. Our view is: the engine is 100% open source. The UI is available for free in the cloud for anyone experimenting, which we define as "I…

That's unlikely, since we use QEMU as a lifter, which sometimes supports new instructions before they hit silicon. However, I think we'll emit a call to some `noreturn` function. B…

Short answer: if you want to execute a program (maybe with some instrumentation, for fuzzing purposes) it's much easier to adopt a dynamic approach (i.e., emulation or virtualizati…

That's our goal. We used to use QtCreator as a basis for the UI, terrible idea. Then we switched to VSCode, which happens to be able to run in the browser. So we added some magic k…

> Decompilation is often the least important (and least reliable) part of IDA/Ghidra This is something all people using decompilers say and sort of shows how low is trust towards d…

For scripting, our approach is to give you access to the project file (just a YAML file), and you can make changes from any scripting language you want. Everything the user can cus…

In the past we were thinking to do something like this by hand. For instance, we detect induction variables, we could rename them into `i`. However, nowadays, it seems pretty obvio…

About the book, here's the full story: I was getting into compilers, but I was really struggling with the theory, the most famous books weren't doing it for me, and I felt really d…

The CTO mostly works on the backend of the decompiler, revng-c, which we just released: https://github.com/revng/revng-c/commits/develop/ Eventually we'll merge the two repos. Also…