Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints - View it on GitHub