A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety | IEEE Journals & Magazine | IEEE Xplore