SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache