[SOAP'23] HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading | ACM SIGPLAN | Podwise