Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code.

Tomonori Izumida, Akira Mori, Masatomo Hashimoto

Browse the full CCS paper archive.