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

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

Университет Иннополис представил новый сервис на базе искусственного интеллекта (ИИ) Inspecto, предназначенный для повышения безопасности и качества разработки программного обеспечения. Система способна автоматически обнаруживать 15 типов уязвимостей в коде на языках Go, Python, JavaScript, TypeScript и Docker. Как пояснил директор университета Искандер Бариев, сервис интегрирован в платформу версионного контроля GitFlame и предоставляет разработчикам мгновенную обратную связь. Inspecto выявляет потенциальные проблемы, включая циклические зависимости и н
Читать далее...
18:00, 03.07.2025
 
Рубрика: «Наука и Технологии»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Ученые Пермского Политеха разработали инновационный тренажер для безопасного обучения электриков в виртуальной реальностиУченые Пермского Политеха разработали инновационный тренажер для безопасного обучения электриков в виртуальной реальности Ученые Пермского Политеха представили 3D-тренажер, с помощью которого можно в трехмерной копии реальной подстанции... ...

В Сеченовском университете разработали новую образовательную программу по телемедицинским технологиям и дистанционному мониторингуВ Сеченовском университете разработали новую образовательную программу по телемедицинским технологиям и дистанционному мониторингу Сотрудники Цифровой кафедры Первого МГМУ имени И. М. Сеченова разработали и запустили новую образовательную программу... ...

Способ лазерного экспресс-анализа продуктов детского питания разработали в Самарском университете им. КоролёваСпособ лазерного экспресс-анализа продуктов детского питания разработали в Самарском университете им. Королёва Студентка Самарского университета им. Королёва Полина Пятаева вместе со своим научным руководителем доцентом Еленой Тимченко разработала способ лазерного экспресс-анализа продуктов детского питания. С его помощью можно значительно проще и быстрее, практически в режиме реального времени, определять, ...

Университет Иннополис запустит 20 роботизированных комплексовУниверситет Иннополис запустит 20 роботизированных комплексов Университет Иннополис объявил о старте проекта по внедрению роботизированного оборудования в учебные заведения регионов России. В 2025 году планируется поставить 20 комплексов, а в 2026 — еще 24. Инициатива направлена на подготовку специалистов для промышленности с использованием технологий, аналоги ...

ПИШ университета Иннополис создала ИИ-сервис для безопасной разработки ПОПИШ университета «Иннополис» создала ИИ-сервис для безопасной разработки ПО ПИШ университета «Иннополис» создала ИИ-сервис для безопасной разработки ПО. Ассистент Inspecto с использованием... ...

Университет Иннополис выбрал SIEM СерчИнформ для контроля ИТ-инфраструктурыУниверситет Иннополис выбрал SIEM «СерчИнформ» для контроля ИТ-инфраструктуры Университет Иннополис внедрил SIEM-систему «СерчИнформ» для выявления инцидентов ИБ и повышения уровня информационной... ...

Positive Technologies и университет Иннополис открыли магистратуру по кибербезопасностиPositive Technologies и университет «Иннополис» открыли магистратуру по кибербезопасности В университете «Иннополис» стартовала новая магистратура по кибербезопасности. Обучение организовано совместно... ...

Университет Иннополис внедрит роботизированное оборудование для обучения студентов в регионах РоссииУниверситет «Иннополис» внедрит роботизированное оборудование для обучения студентов в регионах России Соглашение об эксклюзивной дистрибуции образовательных робототехнических ячеек линейки Rededucation директор университета... ...

Университет Иннополис внедрит свои ИТ-решения на Урале с помощью платформ Инносфера и КосмосУниверситет «Иннополис» внедрит свои ИТ-решения на Урале с помощью платформ «Инносфера» и «Космос» Компании «Космос», «Инносфера» и университет «Иннополис» заключили соглашение о стратегическом сотрудничестве... ...

Университет Иннополис и Positive Technologies открыли магистратуру по кибербезопасности: в этом году на нее примут 25 студентовУниверситет «Иннополис» и Positive Technologies открыли магистратуру по кибербезопасности: в этом году на нее примут 25 студентов Выпускники смогут работать специалистами по информационной безопасности, инженерами по реагированию на инциденты... ...

Выпуск языка программирования Go 1.25Выпуск языка программирования Go 1.25 После шести месяцев разработки представлен релиз языка программирования Go 1.25, развиваемого компанией Google при участии сообщества. Язык сочетает высокую производительность, свойственную компилируемым языкам, с такими достоинствами скриптовых языков, как простота написания кода, высокая скорость ...

Выпуск языка программирования Hare 0.25.2Выпуск языка программирования Hare 0.25.2 Дрю ДеВолт (Drew DeVault), автор пользовательского окружения Sway, почтового клиента Aerc и платформы совместной разработки SourceHut, опубликовал выпуск языка программирования Hare 0.25.2. Номер версии образован как 0.YY.Q, где YY - две последние цифры года, а Q - номер квартала, прошлый выпуск Har ...

Доступен язык программирования Perl 5.42Доступен язык программирования Perl 5.42 После года разработки опубликован релиз новой стабильной ветки языка программирования Perl - 5.42. При подготовке нового выпуска было изменено около 280 тысяч строк кода (без документации и автоматически сгенерированного кода - 93 тысячи), изменения затронули 1500 файлов, в разработке приняли участи ...

Honda открыла крупный центр программированияHonda открыла крупный центр программирования Honda Motor открыла новый центр разработки программного обеспечения Honda Software Studio Osaka в Осаке, второй для компании на территории Японии. ...

Гейб Ньюэлл: искусственный интеллект и будущее программированияГейб Ньюэлл: искусственный интеллект и будущее программирования Ньюэлл, известный своей любовью к новым технологиям и инновациям, уверен в огромном потенциале ИИ для индустрии и программирования. The post Гейб Ньюэлл: искусственный интеллект и будущее программирования first appeared on itndaily.ru. ...

В IT без ЕГЭ: как поступить в московский колледж программирования и построить карьеруВ IT без ЕГЭ: как поступить в московский колледж программирования и построить карьеру Если вы давно мечтали стать программистом, но не знали, как и где освоить эту профессию, то вам стоит узнать о колледже программирования в Москве. Все его выпускники получают не только практическое обучение, но и помощь в трудоустройстве сразу после окончания и даже во время него! Рассказываем, как ...

Как учить язык программирования с нуля бесплатно и эффективноКак учить язык программирования с нуля бесплатно и эффективно В современном мире, где технологии развиваются стремительно, умение программировать становится не просто преимуществом, а необходимостью. Всё больше людей хотят войти в IT-сферу, но не знают, с чего начать. Один из самых популярных запросов в поисковых системах — как учить язык программирования с ну ...

C# возглавил рейтинг самых обсуждаемых языков программированияC# возглавил рейтинг самых обсуждаемых языков программирования Аналитики Sidorin Lab изучили, какие ИТ-профессии и цифровые навыки чаще всего обсуждали в российских медиа и соцсетях.... ...

Представлен язык программирования Gauntlet, расширяющий возможности языка GoПредставлен язык программирования Gauntlet, расширяющий возможности языка Go Доступен первый альфа-выпуск языка программирования Gauntlet, надстройки над языком Go, решающей некоторые архитектурные проблемы и добавляющей дополнительную функциональность. Программы на языке Gauntlet поддерживают все возможности языка Go, транслируются в представление на языке Go и интегрируютс ...

Anthropic представила модель Claude Opus 4.1 для автономного программированияAnthropic представила модель Claude Opus 4.1 для автономного программирования Что, если ИИ стал лучше в программировании, чем сам разработчик? Именно такую мысль вызывает новая модель от Anthropic — Claude Opus 4.1. Это не просто апгрейд — это серьёзный скачок в сторону автономного искусственного интеллекта, который может думать, анализировать и писать код без участия человек ...

Школьников Удмуртии начнут обучать основам программирования на PythonШкольников Удмуртии начнут обучать основам программирования на «Python» Казань. Татарстан. В Казани прошёл форум «Формируя будущее», на котором Удмуртией был подписан меморандум с Международной школой программирования для детей «Алгоритмика». Об этом сообщает министр образования и науки Удмуртии Светлана Болотникова.Согласно документу, в Удмуртии ...

Новый ИИ-инструмент GreenData ускоряет запуск бизнес-приложений без программированияНовый ИИ-инструмент GreenData ускоряет запуск бизнес-приложений без программирования Компания GreenData, российский разработчик импортонезависимой low-code-платформы, представила ИИ-инструмент, который... ...

Владеющая TikTok компания представила самую быструю нейросеть для программированияВладеющая TikTok компания представила самую быструю нейросеть для программирования Bytedance представила Seed Diffusion — революционную ИИ-модель, которая генерирует код до 5,4 раз быстрее аналогов. Узнайте, как диффузионная технология, заимствованная из генераторов изображений, позволяет достичь такой скорости и почему это может изменить рынок ИИ-инструментов для программистов. ...

Java отметила 30-летие  это по-прежнему один из популярнейших языков программированияJava отметила 30-летие — это по-прежнему один из популярнейших языков программирования В мае 2025 года исполнилось ровно 30 лет со дня официального релиза Java — одного из широко применяемых языков программирования в мире. Вопреки стремительным изменениям в IT-индустрии, Java сохраняет ключевую роль в разработке корпоративных приложений, систем обработки больших данных и облачны ...

Микроконтроллер Амур  теперь с новым языком программирования BearLogica от ЭлронаМикроконтроллер «Амур» — теперь с новым языком программирования BearLogica от «Элрона» Специально для плат Elbear на базе микроконтроллера «МIK32 Амур» производства «Микрона», российского производителя... ...

Apple отказывается от Java в пользу языка программирования собственной разработкиApple отказывается от Java в пользу языка программирования собственной разработки Apple постепенно отказывается от Java, Проект системы мониторинга пользовательских паролей переписан на Swift, поскольку Java больше не удовлетворяет его производительность при решении ресурсоемких задач, особенно в части сборки мусора. Переход на Swift, который развивает сама Apple, позволил радика ...

Новый релиз ПО SystemeHD Works 25.03.30 для программирования контроллеров автоматизации инженерных системНовый релиз ПО SystemeHD Works 25.03.30 для программирования контроллеров автоматизации инженерных систем «АРМО-Системы» представила обновленное ПО SystemeHD Works 25.03.30 российской компании «Систэм Электрик» для конфигурирования... ...

Яндекс разработал платформу для создания интернет-магазинов с ИИ-ассистентом без навыков программирования«Яндекс» разработал платформу для создания интернет-магазинов с ИИ-ассистентом без навыков программирования Руководители «Яндекс» представили платформу KIT — конструктор интернет-магазинов с готовой ИТ-инфраструктурой продаж, чекаутом в один клик и встроенным помощником с искуственным интеллектом. Это SaaS-решение ориентировано на предпринимателей, которым важно быстро запустить онлайн-канал продаж без пр ...

Роботы учатся управлять собой сами: MIT создал систему управления без программированияРоботы учатся управлять собой сами: MIT создал систему управления без программирования Учёные из лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института (MIT CSAIL) разработали новую систему управления роботами, названную «Нейронные Якобиановые Поля» (NJF). Эта система позволяет роботам обучаться управлению собственным телом, ис ...

Alibaba выпустила самую мощную ИИ-модель для программирования  вышла открытая Qwen3-CoderAlibaba выпустила «самую мощную» ИИ-модель для программирования — вышла открытая Qwen3-Coder Alibaba Group объявила о выходе модели искусственного интеллекта Qwen3-Coder — она доступна с открытым исходным кодом и предназначается для написания программного кода. В компании назвали модель самым передовым средством для программирования на сегодняшний день. Источник изображения: qwenlm.gi ...

Huawei откроет исходный код языка программирования Cangjie для конкуренции с Java и Swift по всему мируHuawei откроет исходный код языка программирования Cangjie для конкуренции с Java и Swift по всему миру Huawei Technologies объявила о намерении 30 июля открыть исходный код созданного в компании языка программирования Cangjie. Это очередная мера в стремлении Huawei добиться технологической самодостаточности — вчера стало известно, что Huawei сделала открытыми ряд своих ИИ-моделей. Источник изоб ...

Какие водоемы не подходят для безопасного купанияКакие водоемы не подходят для безопасного купания В Псковской области потеплело, и самые горячие головы побегут на берега рек и озер. Управление Роспотребнадзора по Псковской области напоминает, что безопасно купаться можно только в специально отведенных для этого местах. По данным на 30 мая 2025 года все официальные пляжи нашего региона закрыты дл ...

Врач-травматолог из Уфы раскрыл секреты безопасного летаВрач-травматолог из Уфы раскрыл секреты безопасного лета Сохранение и укрепление здоровья подрастающего поколения является приоритетом для государства. Профилактика травматизма – лишь один из многих аспектов сохранения здоровья детей, но очень важный. Врач травматолог-ортопед первой квалификационной категории Городской детской клинической больницы №17 гор ...

Специалисты перечислили правила безопасного отдыха на водоемахСпециалисты перечислили правила безопасного отдыха на водоемах Во-первых, не стоит купаться в необорудованных для этого местах. Дело в том, что на непроверенном дне могут быть ямы и опасные предметы. Также там нельзя нырять, так как есть риск тяжелого повреждения позвоночника, которое иначе называется "травма ныряльщика". Во-вторых, родители всегда должны следи ...

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

Группа Астра сделает вклад в развитие безопасного ИИ«Группа Астра» сделает вклад в развитие безопасного ИИ «Группа Астра» и «Национальный технологический центр цифровой криптографии» (АНО НТЦ ЦК) заключили соглашение... ...

Анестезия для собак: обеспечение безопасного и эффективного леченияАнестезия для собак: обеспечение безопасного и эффективного лечения . Анестезия — важнейший аспект ветеринарной помощи, особенно при проведении процедур с участием собак. Важно понимать принципы, процедуры анестезия для собак и особенности для наших четвероногих друзей, чтобы обеспечить их безопасность и благополучие. Важные моменты: Анестезия для собак требует тщат ...

Это признак повреждения кожи: безопасного загара не существуетЭто признак повреждения кожи: безопасного загара не существует Доктор Дмитрий Буланов перечислил категории граждан, которым рекомендуется отказаться от загара на солнце летом, пишет «РИАМО». ...

Роспотребнадзор напоминает о правилах безопасного использования кондиционеровРоспотребнадзор напоминает о правилах безопасного использования кондиционеров В период летней жары Роспотребнадзор напоминает о правилах безопасного использования кондиционеров, чтобы избежать переохлаждения и других проблем со здоровьем. Ключевое правило — избегать резких перепадов температур между улицей и помещением. Разница между температурой на улице и в помещении не дол ...

Что ждет концертную индустрию с введением безопасного законаЧто ждет концертную индустрию с введением «безопасного» закона Новый закон о безопасности зрелищных мероприятий во многом стал калькой с аналогичного закона для спортивных событий, его разрабатывали совместно с силовыми ведомствами, сказал НСН Александр Шолохов. ...

Альянс в сфере ИИ запустил MERA Code  первый открытый бенчмарк для оценки русскоязычных моделей на реальных задачах программированияАльянс в сфере ИИ запустил MERA Code — первый открытый бенчмарк для оценки русскоязычных моделей на реальных задачах программирования Альянс в сфере ИИ представил новый инструмент – MERA Code — первый комплексный открытый бенчмарк для оценки больших... ...

Создатель Twitter выпустил приложение Sun Day  для безопасного пребывания на солнцеСоздатель Twitter выпустил приложение Sun Day — для безопасного пребывания на солнце Достаточно указать тип кожи и то, как вы примерно одеты — остальное программа сделает сама. ...

Названы восемь пляжей Петербурга и Ленобласти для безопасного купанияНазваны восемь пляжей Петербурга и Ленобласти для безопасного купания В Ленобласти пять пляжей признали безопасными для купания из санитарно-гигиенических соображений, в Петербурге — три. Да и погода как раз налаживается, хотя только до конца недели. ...

Общественная палата обсудила необходимость российского безопасного мессенджераОбщественная палата обсудила необходимость российского безопасного мессенджера В Общественной палате РФ прошел круглый стол "Переписка частная – проблемы общие. Безопасный мессенджер – каким он должен быть?". Участники обсудили, как иностранные мессенджеры становятся инструментом мошенников и спецслужб, а также роль национального мессенджера MAX в обеспечении цифрового суверен ...

Мероприятия по обеспечению безопасного отдыха на воде в Феодосии продолжаютсяМероприятия по обеспечению безопасного отдыха на воде в Феодосии продолжаются Сотрудники Администрации Феодосии совместно с сотрудниками МЧС Крыма посетили очередной пляж. Целью визита был мониторинг обеспечения безопасности в месте массового отдыха людей на водных объектах. ...

Эксперт Вураско: безопасного счета для хранения денег не существуетЭксперт Вураско: безопасного счета для хранения денег не существует Безопасных счетов, на которых хранятся денежные средства, не существует. Об этом aif.ru рассказал директор по развитию сервиса мониторинга внешних цифровых угроз Александр Вураско.Ранее Управление МВД России по организации борьбы с противоправным использованием информационно-коммуникационных техноло ...

С владельца безопасного счёта взысканы украденные у женщины деньгиС владельца "безопасного" счёта взысканы украденные у женщины деньги Суд принял решение о возврате денег жительнице Балакова, которые она отправила телефонным аферистам.Как сообщает прокуратура Саратовской области, в производстве следственного органа находится уголовное дело о мошенничестве. Согласно материалам, в марте 2024 года потерпевшей позвонил неизвестный, пре ...

В Брянске сотрудницу Безопасного региона осудят за 2,5 млн рублей взяткиВ Брянске сотрудницу «Безопасного региона» осудят за 2,5 млн рублей взятки Бежицкий районный суд Брянска начнёт рассматривать уголовное дело бывшей сотрудницы ГКУ БО «Безопасный регион» Елены Самок, которую обвиняют в получении особо крупной взятки. Как установило следствие, являвшаяся в этом учреждении ведущим специалистом по закупкам Самок в 2022-2024 годах получила от п ...

Сбербанк запустил новую услугу для безопасного возврата переводовСбербанк запустил новую услугу для безопасного возврата переводов Сбербанк запустил новую функцию возврата денежных переводов прямо в мобильном приложении для клиентов на платформе... ...

Зоны для безопасного летнего отдыха и купания в Брянском районеЗоны для безопасного летнего отдыха и купания в Брянском районе Уважаемые жители Брянского района, обращаем ваше внимание! Определены и официально утверждены зоны для безопасного летнего отдыха и купания в 2025 году: Глинищевское поселение: Зона отдыха: Хотылёво Расположение: участок реки Десна в окрестностях села Хотылёво Нетьинское поселение: Зона отдыха: «Лес ...

Пермский Политех создал VR-тренажер для безопасного обучения электриковПермский Политех создал VR-тренажер для безопасного обучения электриков Ученые Пермского Политеха разработали VR-тренажер, который помогает электрикам безопасно отрабатывать навыки и снижать риск аварий, вызванных человеческим фактором. ...

Учёные используют дроны для безопасного сбора данных о кашалотахУчёные используют дроны для безопасного сбора данных о кашалотах В водах Доминики, что в Карибском бассейне, беспилотный летательный аппарат опускается к кашалоту. Вместо традиционного сброса метки, дрон аккуратно прижимает ее к спине кита, надежно фиксируя датчик. Крепление осуществляется при помощи присосок, позволяя устройству регистрировать звуки, издаваемые ...

Врач назвал лучшее время для безопасного отдыха на солнцеВрач назвал лучшее время для безопасного отдыха на солнце По словам дерматовенеролога Ксении Усковой, оптимальное время для безопасного пребывания на солнце - утро до 11:00 и вечер после 16:00. Дело в том, что в этот период интенсивность ультрафиолетового излучения ниже. При этом под прямыми лучами рекомендуется находиться от 10 до 30 минут в зависимости о ...

Во Всеволожске установят камеры Безопасного города за 20 миллионов рублейВо Всеволожске установят камеры «Безопасного города» за 20 миллионов рублей Во Всеволожском районе Ленобласти несколько десятков адресов охватят камеры системы "Безопасного города". ...

Сбербанк добавил в приложение функцию безопасного возврата переводовСбербанк добавил в приложение функцию безопасного возврата переводов Сбербанк внедрил в свое мобильное приложение новую функцию, позволяющую клиентам быстро вернуть ошибочно отправленные переводы. Пока сервис доступен только для пользователей устройств на Android, начиная с версии приложения 16.10. Теперь вернуть деньги можно напрямую через историю операций в приложе ...

СК региона напоминает правила безопасного поведения детей в летний периодСК региона напоминает правила безопасного поведения детей в летний период Наступление лета приносит много радости и свободы как детям, так и родителям. Важно использовать это время с пользой, создавая яркие моменты, которые останутся в памяти надолго.«В летний период школьники освобождены от уроков и зачастую предоставлены сами себе, и родителям необходимо проявить бдител ...

В России создали новое покрытие для безопасного лечения желчекаменной болезниВ России создали новое покрытие для безопасного лечения желчекаменной болезни Специалисты Белгородского государственного университета создали уникальное антисептическое покрытие для медицинских стентов, используемых при осложнениях желчекаменной болезни. Разработка особенно важна для пациентов с аллергией на йод, который традиционно применяется в подобных устройствах. Обычные ...

В Брянске сотрудницу Безопасного региона из СИЗО отпустили под домашний арестВ Брянске сотрудницу «Безопасного региона» из СИЗО отпустили под домашний арест Брянский областной суд изменил меру пресечения бывшей сотрудницы ГКУ БО «Безопасный регион» Елены Самок, которую обвиняют в получении особо крупной взятки. Об этом сообщила объединённая пресс-служба брянских судов. Бежицкий районный суд 24 июля продлил Самок срок содержания под стражей до 7 ноября 2 ...

Последние жаркие дни, а в Ленобласти и Петербурге  ни одного безопасного озера для купанияПоследние жаркие дни, а в Ленобласти и Петербурге – ни одного безопасного озера для купания Еще на прошлой неделе, как писал 47news, для купания были одобрены два водоема: Безымянное озеро в Красносельском районе Петербурга и Суходольское озеро в поселке Громово Приозерского района Ленобласти. ...

Лига безопасного интернета бьёт тревогу из-за закона о цифровом следе«Лига безопасного интернета» бьёт тревогу из-за закона о «цифровом следе» Глава «Лиги безопасного интернета» Екатерина Мизулина продолжает критиковать только что принятый Госдумой закон, устанавливающий наказания для россиян за поиск экстремистских материалов. По её мнению, излишне размытые формулировки могут привести к массовому преследованию пользователей — даже за случ ...

ECHOMSK.SPB.RU Поиск в новостях