Tomonori Izumida, Akira Mori, Masatomo Hashimoto. Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. In Mário S. Alvim, Stéphanie Delaune, editors, Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 48-53, ACM, 2018. [doi]
Abstract is missing.