KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling - View it on GitHub