aurelf
This would be a great feature to have. Any plans for integrating it ?
I think this changed place with the update to QEMU 8 : https://github.com/eurecom-s3/symqemu/blob/9abc561413b2b9da93db789877e11ac25fb0b421/accel/tcg/translator.c#L94 But it seems the problem is still there. If you have a chance to update the patch,...
I guess that needs instrumentation.
Thanks, could you look into the test errors ?
This needs to be moved to symcc-rt now... Closing, could you please reopen there?
Hi, thank you for the feedback. We are working on this. Hopefully publishing this in a few weeks or months.
Hi, that's an unrelated question, but for the register to memory check calls to `gen_helper_sym_store_host_i32` for example in tcg-op.c Not sure I understand the second question, SymQemu executes in concolic...
ARM 32/64 should be already working for arm user linux target. Full system will come at some point too but not immediately (we have something internally but will need more...
I'm trying to look at this PR, @Yhcrown in case you can give me push access to your branch that would save me quite some time :) It's quite manual...
Hi, that's interesting, thanks both for the work on the features. I really like the lifter feature, however, it seem to work for simple inline assembly, are there any drawbacks...