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