Konrad Hohentanner, Florian Kasten, Lukas Auer. HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. In Pietro Ferrara 0001, Liana Hadarean, editors, Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023. pages 27-33, ACM, 2023. [doi]
Abstract is missing.