Text this: Leveraging speculative architectures for runtime program validation