Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значениедоклад на конференции