1. angr. 2020. URL:https://angr.io/, accessed november 20, 2020.
2. A method for watermarking Java programs via opaque predicates;Arboit,2002
3. Analyzing memory accesses in X86 executables;Balakrishnan,2004
4. Code obfuscation against symbolic execution attacks;Banescu,2016
5. Byteweight: learning to recognize functions in binary code;Bao,2014