Технологии статического анализа в безопасном цикле разработки программ: требования, задачи, возможностидоклад на конференции