Tool to Analyze Speculative Execution Attacks and Mitigations - View it on GitHub