AUTOMATIC UNINITIALIZED VALUE USAGE DETECTION DURING FULL-SYSTEM EMULATION