SGXRay: a bounded verifier for Intel SGX enclaves - View it on GitHub