radeco
radeco copied to clipboard
radareorg
radare2-based decompiler and symbol executor
parser.rs fails to parse esil expressions that contain DUP opcode: `0,zf,=,cf,401528,+,eax,+,0,cf,=,DUP,0xffffffff,
Should use the r_core_task api 
Feel like there should be a API to write generated analysis information to a file or a database (similar to `.idb`) and load from it. We could start with something...
``` unning `C:\projects\radeco-lib-8ycg0\target\debug\build\backtrace-sys-81eabdbdcb0144d0\build-script-build` [backtrace-sys 0.1.28] cargo:rustc-cfg=rbt [backtrace-sys 0.1.28] TARGET = Some("i686-pc-windows-gnu") [backtrace-sys 0.1.28] OPT_LEVEL = Some("0") [backtrace-sys 0.1.28] HOST = Some("i686-pc-windows-gnu") [backtrace-sys 0.1.28] CC_i686-pc-windows-gnu = None [backtrace-sys 0.1.28] CC_i686_pc_windows_gnu =...
`RuneContext` does not handle symbolic jumps. This would require us to be able to resolve these locations through constraint solving or by using help from radeco-lib (through VSA maybe).
From [here](https://stackoverflow.com/questions/16422018/how-incremental-solving-works-in-z3). This will highly improve performance on repeated querying. This would require feature additions and modifications in libsmt.rs. An initial idea would be to collect assertions in a `Vec`...
We need to have a discussion on the different functionality that will be provided by the `Engine` and formally define those concepts. We should be thorough with the plan before...
Since we will have two engines `erune`(based on ESIL) and `rerune`(based on radeco-IR), we would have to implement hooks for ESIL as well as radeco-IR expressions.
This is the next step to be taken in taking this project forward. Since we will now be performing symbolic execution over radeco-IR in `rerune` (rather than just ESIL in...