|
|
|
|
|
|
by jbangert
4007 days ago
|
|
|
Author here. The point of this work is not only the specific result (lots of VM edge cases, very hard to reverse engineer source of computation), but to promote this general class of 'problem' -- things that are typically not thought to be so complicated actually containing a Turing-complete executionenvironment. Other examples include ELF and DWARF binary files, PDF, etc. etc. Once you need to evaluate a Turing machine to see what a file (or in my case, a set of page tables) actually means, you loose a lot of tractability. |
|
|