Differential CPU fuzzing framework from the paper \"RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs\". - CISPA - cispa