The commit introduces VM-based actors for Intel CPUs, relying on Intel VMX for the implementation. Documentation and details in the linked PR
Co-authored-by: Flavien Solt <flsolt@ethz.ch>
* mapping of sandbox pages to user space
* macros for switching from host to user, and back (both executor and model)
* setting of MSR_LSTAR
* replace R11 with R13 for storing htraces; R11 is now used for syscall/sysret macros
* updated and more comprehensive fault handling
Co-authored-by: Flavien Solt <flsolt@ethz.ch>
* Dropped in a few example shell commands in README.md to help with installation
* Briefly described the major architectural components of Revizor in docs/architecture.md
* Created docs/cli.md to describe the different execution modes and their command-line switches
* Created docs/modules.md to briefly describe the various Python modules and some test case generation details
Co-authored-by: Connor Shugg <connorshugg@microsoft.com>
* mimic executor memory layout
* replace assist region with faulty region
* remove unused WORKING_MEMORY_SIZE
* add x86 random test
* get memory values from input interface
Co-authored-by: emanuele <emanuele.vannacci@gmail.com>
Co-authored-by: Oleksii Oleksenko <alexo_o@ukr.net>
Brian Fu
Oleksii Oleksenko
Oleksii Oleksenko
Oleksii Oleksenko
Connor Shugg