That is pretty awesome. Couldn���t be an constraint umbrella for VMMaker.
Guille is doing that to see if we can reduce the number of plugin and how to build tools to support assembly generation :)
And also to be able to write much nicer tests (I mean with real assertions and not transcript show: ;)

This way it would be possible to write tests that check for resulting code. Or writing tests for the JIT (does sista has something like this). Could be one step closer to a deterministic code generation, no?

:)

Stef



Norbert

Am 02.08.2019 um 18:09 schrieb Guillermo Polito <guillermopolito@gmail.com>:

Hi everybody,

I���ve been playing around with machine code simulation this last week and I���ve made bindings for the unicorn library and the llvm disassembler:


Funny thing: both support lots of platforms (x86 and arm both 32 and 64 bits and more���). So out of the box we can simulate and disassemble lots of platforms.

And in one afternoon I���ve played with them to do a native debugger with Spec2 just for fun.
Hope this evolves a bit more soon, and that it helps somebody.

Guille

<PastedGraphic-5.png>