Hmm, I’m realizing I should have provided more context: I have a closed source compiler and disassembler for a mystery ISA (no physical hardware). Can I figure out the available instructions and their semantics?https://twitter.com/moyix/status/1162443206291677184 …
-
-
I think the existing synthesis approaches require that you be able to execute the code in order to get I/O samples? If I had a real CPU this is the direction I would go, though.
-
Could use C code (or whatever your compiler accepts) as an oracle instead of hw?
- 13 more replies
New conversation -
-
-
I might be wrong but didn't strata require a handcrafted base of useful instructions to be able to synthesize the rest?
-
It does, but we could probably assume that some poor grad student did some hard reverse engineering work to get thosepic.twitter.com/1lBNDk61Dd
End of conversation
New conversation -
-
-
I think that, in spirit, this is the way to go: create executable spec for your current understanding of asm, use fuzzing or SMT to find counterexamples, gradually increase size/complexity of inputs and back off when you find new counterexamples.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.