This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization). It describes he...