Vladislav Hrčka

Results 13 issues of Vladislav Hrčka

Hello, I would like to recompile an ircfg and append the resulting bytes to an existing PE. I think that it could be also added to Miasm if it was...

> Hello, I believe that expressions like `({0x46 0 8, expr_id 8 32} & 0x40)?(0x20, 0x30)` could be further simplified, however `expr_simp()` doesn't seem to contain such pass. Am I...

Function [_dis_block](https://github.com/cea-sec/miasm/blob/2a1a689a17a75232d598216b4d9265be7bd479f3/miasm/core/asmblock.py#L1430) could try to recognize jump tables

Hello, what are your thoughts on making the `Sanbox`es available through `Machine`? I think that architecture dependent classes such as [Sandbox_Linux_x86_32](https://github.com/cea-sec/miasm/blob/master/miasm/analysis/sandbox.py#L577) could be moved to a separate file such as...

question

The [addr_to_cacheblocks](https://github.com/cea-sec/miasm/blob/ef7706905af9b6ef152d5b624968de44d5e80483/miasm/analysis/dse.py#L170) cache could be cleared similarly to [expr_simp cache](https://github.com/cea-sec/miasm/blob/ef7706905af9b6ef152d5b624968de44d5e80483/miasm/analysis/dse.py#L343) to prevent memory issues

Cache [addr_to_cacheblocks](https://github.com/cea-sec/miasm/blob/ef7706905af9b6ef152d5b624968de44d5e80483/miasm/analysis/dse.py#L170) doesn't take SMC into account. After rediscovering a modified block it uses the old one and leads to a DriftException. For example a hash of block data could...

The issue is similar to #1278. The strategies don't seem to take into account data of the block and they process only the [address](https://github.com/cea-sec/miasm/blob/ef7706905af9b6ef152d5b624968de44d5e80483/miasm/analysis/dse.py#L582). Analogously for example a hash of...

In the following code it's apparent that the second parameter of the 0x401080 function is `[esi+8]`. However `propagate_cst_expr` cannot see it due to the applied compiler optimization whose overall occurance...

It causes ambiguities during assembling and there's no meaningful warning. However I'm not sure whether this is the best place to put the check.

Following code results in `ValueError: cannot asm 'JMP' ['0x0']` ``` l = mn_x86.dis("\xeb\xfe", 32) m = mn_x86.asm(l) ```