radeco
radeco copied to clipboard
radareorg
radare2-based decompiler and symbol executor
- [ ] Arithmetic patterns: - https://github.com/radareorg/radeco-lib/blob/master/analysis/patterns - https://github.com/radareorg/radeco-lib/blob/master/src/analysis/arithmetic.rs - [ ] InstCombine patterns: - https://github.com/radareorg/radeco-lib/blob/master/src/analysis/inst_combine/combine_rules.rs Idea is to rewrite them into the runtime-loaded DSL. One of the possible candidates...
https://github.com/rust-lang-nursery/chalk - they are going to use it in Rust compiler itself. Should suit decompiler too.
From the example in http://radare.today/posts/gsoc_2018_radeco_pseudo_c_code_generation/ ```rust fn sym.write_strlen () { int local_18h; unsigned int tmp; int local_8h; *((rsp - 8)) = rbp local_18h = rdi local_8h = local_18h while (1)...
 Here is the `/bin/ls` binary from Fedora 29 [fedora-ls.zip](https://github.com/radareorg/radeco-lib/files/2917978/fedora-ls.zip)
When you have the C output, there should be function which changes: - [ ] Function name (should also call function name change in radare2 via r2pipe) - [ ]...
To edit something in r2, refresh the radeco view, same in reverse order. See https://github.com/radareorg/radeco-lib/issues/183 as an example. @wargio @sivaramaaa @radare please help us with defining the interface/API There is...
[ref](https://github.com/radare/radeco-lib/blob/3a56b81b493b31ac7e5df17148b2d463dbbc92d3/src/middle/phiplacement.rs#L1008)
What I am wondering is to make a fake function to handle syscall, which is lacked in RadecoIL.
SSAVerifier / Verified add to ensure IR invariants are maintained and never violated. This will help future developer to make sure their changes on IR is correct and viable. Some...