Detection of the Meltdown and Spectre Vulnerabilities