Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляциидоклад на конференции