Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis