E. Bauman, Z. Lin, and K. W. Hamlen, *Superset disassembly: Statically rewriting x86 binaries without heuristics.,* in NDSS, 2018. https://personal.utdallas.edu/~hamlen/bauman18ndss.pdf