5 papers:
CGO-2015-StepanovS #c++ #detection #memory management #named #performance- MemorySanitizer: fast detector of uninitialized memory use in C++ (ES, KS), pp. 46–55.
WCRE-2012-JanaN #detection #dynamic analysis #precise #using- Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
CC-2003-NguyenIAC #automation #detection- Automatic Detection of Uninitialized Variables (TVNN, FI, CA, FC), pp. 217–231.
ICALP-2002-HenzingerKKM #synthesis- Synthesis of Uninitialized Systems (TAH, SCK, OK, FYCM), pp. 644–656.
AdaEurope-2002-DewarHCW #ada #runtime- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
