В Университете Иннополис разработали ИИ для безопасного программирования