Tim Blazytko

Elf Loader provides wrong memory in data section

1

Heya! The elf loader returns wrong values for the provided binary. If you double check with IDA or other tools, it should return `0x398994d6` instead of `0x0`. ```python import sys...

Required steps to integrate maybe-alias analysis into the symbolic execution engine

1

Heya guys! I was discussing together with @fvrmatteo the following case: By default, Miasm's memory model assumes that symbolic memory addresses do not aliase. As a result, the symbolic execution...

SSA dead code elimination

11

Hi! In `IRCFGSimplifierSSA`, the propagations seem to work fine. However, the results of `do_dead_simp_ssa` seem strange to me. Given the following code, the remaining graph in `after_dead_code.dot` is a small...

Stateful SMT Memory Model

3

Hi! This PR introduces a stateful SMT memory model. # What doe this mean? Similar to SSA, we can make memory reads/writes stateful and use it for SMT-based reasoning. For...

Simplification passes for ExprAssign

7

Hi! I'm preparing a PR. For this, I have to apply simplification rules for `ExprAssign` which has to perform different transformation for `src` and `dst`. ```python ira_cfg = ira.new_ircfg_from_asmcfg(asm_cfg) ira_cfg.simplify(expr_simp_high_to_explicit)...

It would be awesome to have the possibility to interactively manipulate IL expressions. Like adding additional expressions and rewriting or removing existing ones. One use case would be to raise...

There are two issues: 1. The number of memory outputs differs, since memory is not initialized randomly. 2. kadabra runs into `UC_ERR_READ_UNMAPPED` errors