Design and development of Svace static analyzersдоклад на конференции