Desperately trying to figure out how to make a good IR language for my decompiler...

SSA with parametrized basic blocks with explicitly typed assignments for now. But I'm really struggling to understand how to PROPERLY propagate basic block and functions parameters types... Now I really need to try a solution, at least one.

· · Web · 1 · 0 · 0

I think I have a solution, almost similar to LLVM IR but with fewer statements for the moment, fewer options for these statements (because it's hard to infer complex options based on assembly) and parameter-based basic block.

Sign in to participate in the conversation
Mastodon - Gougère Network

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!