Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code
BYTEWEIGHT: learning to recognize functions in binary code