The first dynamic analysis framework for CPU microcode - View it on GitHub