SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs