Cosmin Gorgovan

Hi @jkressel. Thanks again for the patches. I think this pull request will be getting very unwieldy if we continue using it for code review, there are many commits, quite...

Hi The mid-term plan is to redesign basic block allocation to allow arbitrary sized basic blocks, similar to the current traces. That should avoid this issue altogether. Currently, 72 bytes...

Thanks for the report. The behavior is indeed unchanged in the current HEAD. This is a pretty big problem because writing to the CPSR is *very* slow (it flushes the...

@umarcor We have a QEMU system image with MAMBO already set up for you. It's mentioned in the [tutorial](https://github.com/beehive-lab/mambo/releases/download/1/mambo_tutorial_hipeac_2018.pdf). Pasting the relevant slide here: Portable QEMU virtual machine image (for...

Yes the Aarch32 lookup will corrupt the status flags. I haven't found instances of software setting the status flags before taking an indirect branch and then reading them after. This...

Generally, no. Care to expand on that?

That's not incorrect, it's just not implemented because we've never encountered it in an application. If you did and you could point me to the executable, I can add support...

There are a few infinite loops like that in MAMBO. They are basically asserts which stop execution and allow you to attach a debugger and inspect the context instead of...

The updated value of R2 (i.e. after the POP) is saved at [scanner_arm.c#L428](https://github.com/beehive-lab/mambo/blob/1c3b390/scanner_arm.c#L428), so it doesn't have to be included in the assert. Now, I've spent a bit of time...

Hi, thanks for the patches. I can cherry pick individual patches or you can open separate PRs, at your choice. a69d8de looks good ci: 0) we should test both aarch32...