A static analysis of the PS4 emulator’s codebase, with examples of issues found along the way