radeco
radeco copied to clipboard
radare2-based decompiler and symbol executor
Write/Generate call summaries for standard functions. Should include: - Arguments - Types of arguments - Registers modified - Registers preserved - Return type - Return register **Bonus:** Automatically generate these...
Dominator tree construction was one of the first analysis implemented in radeco. This needs some love. As such, it is works but is inconsistent with the other analysis API in...
The current implementation uses u64/usize which is kind of hacky. We could do much better with a dedicated trait for this.
Fuzzing
Using https://github.com/frewsxcv/afl.rs
``` [0x00400526]> #!pipe RUST_BACKTRACE=1 ./minidec [x] Analyze all flags starting with sym. and entry0 (aa) [x] Analyze len bytes of instructions for references (aar) [x] Analyze function calls (aac) [0x0040053e...
Related to https://github.com/radare/radare2/issues/2742 Probably, using higher level IR for diffing makes more sense?
Several implementations of subtree hashing exist in various parts of radeco. It would be nice to implement one standard way of doing this as a part of the IR. According...