PlayStation 1 emulator, symbolic execution engine and binary lifter.
- The preliminary aim of this repository is to implement a PlayStation I emulator in Go.
- The secondary aim of this repository is to develop a symbolic execution engine for PSX.
- The tertiary aim of this repository is to leverage the inferred CPU state of the symbolic execution engine to lift R3059 MIPS assembly to LLVM IR.
Thanks to Lionel Flandrin for sharing the Playstation Emulation Guide; a truly wonderful resource documenting the implementation details of a PSX emulator in Rust.