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

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

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

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

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

В Сеченовском Университете разработали умный ортез с программируемыми свойствами жесткости для восстановления после травм и переломовВ Сеченовском Университете разработали «умный» ортез с программируемыми свойствами жесткости для восстановления после травм и переломов Молодые ученые Цифровой кафедры Сеченовского Университета разработали реабилитационный ортез, который в точности... ...

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

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

Мордовия готова поставлять стройматериалы для технопарков ОЭЗ ИннополисМордовия готова поставлять стройматериалы для технопарков ОЭЗ "Иннополис" Компании "Виолет" и "Лато" привезли на форум образцы своих стеновых панелей, сообщил глава республики Артем Здунов ...

Университет Иннополис и AIRI открыли лабораторию мультимодального генеративного ИИУниверситет «Иннополис» и AIRI открыли лабораторию мультимодального генеративного ИИ Университет «Иннополис» и AIRI открыли лабораторию мультимодального генеративного ИИ. Соглашение о создании совместной... ...

Иннополис и СПбПУ откроют лабораторию по новым материалам для робототехникиИннополис и СПбПУ откроют лабораторию по новым материалам для робототехники Санкт-Петербургский политехнический университет и Университет Иннополис договорились о создании совместной научной лаборатории, которая займётся разработкой новых композиционных материалов. Проект будет ориентирован на применение в робототехнике и беспилотной авиации. Соглашение подписали в рамках в ...

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

Беспилотники университета Иннополис начали собирать с помощью цифровых помощниковБеспилотники университета «Иннополис» начали собирать с помощью цифровых помощников Специалисты Центра беспилотных авиационных систем российского ИТ-вуза оптимизировали с помощью современных... ...

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

Выпуск языка программирования 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 в Осаке, второй для компании на территории Японии. ...

Эксперт назвал будущее ИИ в сфере программированияЭксперт назвал будущее ИИ в сфере программирования Эксперт предсказал, что к 2030 году до 70% программного кода будет генерироваться нейросетью К 2030 году, по прогнозам Михаила Хлебунова, директора по продукту Servicepipe, до 70% программного кода в России будет генерироваться искусственным интеллектом. Однако, это не означает, что роль человека в ...

Стартап сотрудников и студентов университета Иннополис запустил собственную облачную платформу для квантовых вычисленийСтартап сотрудников и студентов университета «Иннополис» запустил собственную облачную платформу для квантовых вычислений Благодаря квантовому вычислителю платформа Qonquester Cloud может решать задачи квадратичной неограниченной бинарной... ...

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

Специалисты ПНИПУ разработают новый язык программированияСпециалисты ПНИПУ разработают новый язык программирования В России разработают новый язык программирования с большей гибкостью использования Студент из Пермского Политеха разрабатывает уникальный язык программирования Ritter, способный революционизировать работу с высокопроизводительными системами. Этот язык предназначен для использования в игровых движках ...

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

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

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

Философия безопасного трудаФилософия безопасного труда День безопасности труда, который по традиции проходит в АО «Транснефть – Дружба» в конце апреля, коллектив ждет особо: здесь объявляют победителей смотра – конкурса на звание лучшего подразделения по охране труда. Забота о жизни и здоровье работников, исключение даже минимальных рисков – золотые пра ...

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

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

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

GPT-4.1, mini и nano: OpenAI представляет самые быстрые и экономичные модели для программированияGPT-4.1, mini и nano: OpenAI представляет самые быстрые и экономичные модели для программирования OpenAI объявила о запуске трех новых моделей GPT-4.1 через API OpenAI. Модели GPT-4.1, GPT-4.1 mini и GPT-4.1 nano пока недоступны для ChatGPT. ...

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

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

Эксперт дал советы по организации безопасного путешествияЭксперт дал советы по организации безопасного путешествия Позаботиться о том, чтобы долгожданная поездка прошла без происшествий и неприятных ситуаций, стоит заранее. Директор по информационной безопасности в сервисе путешествий «Туту» Валентин Лякутин рассказал «Известиям» 7 мая, на что стоит обратить пристальное внимание на этапе планирования путешествия ...

Врач дал рекомендации по выбору безопасного шашлыкаВрач дал рекомендации по выбору безопасного шашлыка С началом сезона пикников полки супермаркетов заполнились упакованными мясными наборами, но за привлекательной упаковкой могут скрываться серьезные риски для здоровья. Об опасностях готового маринованного шашлыка из магазинов 30 апреля «Известиям» рассказал Владимир Неронов, врач-инфекционист АО «Ме ...

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

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

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

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

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

Перезагрузка карьеры: как войти в ИТ без программирования и перевернуть свою жизнь Интервью с Анжеллой Татарской (ГК Softline)Перезагрузка карьеры: как войти в ИТ без программирования и перевернуть свою жизнь? Интервью с Анжеллой Татарской (ГК Softline) Начать карьеру в ИT и стать востребованным специалистом, не имея технического образования? ГК Softline запускает второй поток образовательного проекта «ИТ — твое место работы», специально разработанного для sales-менеджеров, которые хотят погрузиться в сферу информационных технологий. Участников жду ...

Решение должно ускорить разработку и повысить качество продуктов // Александр Леви  об автоматизации программирования«Решение должно ускорить разработку и повысить качество продуктов» // Александр Леви — об автоматизации программирования Обозреватель “Ъ FM” Александр Леви рассказывает о том, как корпорации Apple, Google и Microsoft внедряют ИИ-модели для генерации кодов. ...

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

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

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

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

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

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

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

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

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

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

Около 45 проектов для безопасного и удобного движения в ЮАО подготовили кураторы ЦОДДОколо 45 проектов для безопасного и удобного движения в ЮАО подготовили кураторы ЦОДД Их реализация поможет снизить уровень аварийности, сократить времени в пути и создать безопасные условия для пешеходов и водителей. ...

Не оставим им безопасного места: Иран анонсировал очень большой удар по Израилю«Не оставим им безопасного места»: Иран анонсировал «очень большой» удар по Израилю Иранские военнослужащие не намерены оставлять без ответа очередные обстрелы со стороны Израиля, поэтому готовятся к мощному удару по территории противника. Об этом сообщило агентство Fars со ссылкой на источник. ...

ValueAI добавил поддержку локального использования DeepSeek и Gemma для безопасного внедрения ИИValueAI добавил поддержку локального использования DeepSeek и Gemma для безопасного внедрения ИИ ИИ-инструмент ValueAI, разработанный ИТ-компанией «ВейвАксесс», расширил поддержку больших языковых моделей: теперь... ...

Юрист Соловьев: мошенники придумали новое слово вместо безопасного счетаЮрист Соловьев: мошенники придумали новое слово вместо «безопасного счета» Мошенники сменили терминологию: вместо «безопасных счетов» теперь предлагают «криптовалютные», «резервные» и «декларационные» счета, но суть обмана осталась прежней. О новой тактике финансовых мошенников предупредил заслуженный юрист России Иван Соловьев.Читать далее ...

На загруженном ж/д переезде в пригороде Красноярска водителям напомнили правила безопасного пересечения путейНа загруженном ж/д переезде в пригороде Красноярска водителям напомнили правила безопасного пересечения путей Ежедневно через этот переезд в пригороде Красноярска проходят порядка 180 поездов и до 10 тыс. машин. ...

BingX представляет ChainSpot  инновационную CeDeFi-функцию для простого и безопасного ончейн-трейдингаBingX представляет ChainSpot — инновационную CeDeFi-функцию для простого и безопасного ончейн-трейдинга BingX, ведущая криптовалютная биржа мира, с гордостью представляет ChainSpot, инновационную функцию... Сообщение BingX представляет ChainSpot — инновационную CeDeFi-функцию для простого и безопасного ончейн-трейдинга появились сначала на Gadgets. ...

Yandex B2B Tech представила сервис для безопасного управления доступом пользователей к корпоративным приложениямYandex B2B Tech представила сервис для безопасного управления доступом пользователей к корпоративным приложениям Yandex B2B Tech запустила новый сервис безопасности Yandex Identity Hub. С его помощью бизнес может настроить безопасный доступ... ...

Google DeepMind создал универсальный ИИ, который ускорит научные открытия от предсказания структуры белков до решения любых задач программированияGoogle DeepMind создал универсальный ИИ, который ускорит научные открытия от предсказания структуры белков до решения любых задач программирования Подразделение Google DeepMind представило AlphaEvolve — новый агент искусственного интеллекта, который, по заявлениям компании, знаменует собой существенный шаг на пути к решению сложных задач в математике и естественных науках. Система основана на больших языковых моделях Gemini, но дополнена ...

Киберпротект выпустила новую версию системы для синхронизации и безопасного обмена файлами Кибер Файлы«Киберпротект» выпустила новую версию системы для синхронизации и безопасного обмена файлами «Кибер Файлы» «Киберпротект» выпустила новую версию системы для синхронизации и безопасного обмена файлами «Кибер Файлы».... ...

Ред Софт и ГК МДИС подписали соглашение о стратегическом партнёрстве и создании комплексного решения для безопасного перехода с Microsoft AD на Linux«Ред Софт» и ГК «МДИС» подписали соглашение о стратегическом партнёрстве и создании комплексного решения для безопасного перехода с Microsoft AD на Linux Российский разработчик программного обеспечения «Ред Софт» и группа компаний «МД Информационные Системы» (ГК... ...

Прохазка пропустит UFC 317 из-за экзаменов в университетеПрохазка пропустит UFC 317 из-за экзаменов в университете Бывший чемпион UFC в полутяжелом весе Иржи Прохазка отказался от участия в турнире UFC 317. ...

В Университете Хиросимы обнаружили неразорвавшийся снарядВ Университете Хиросимы обнаружили неразорвавшийся снаряд В Японии обнаружили неразорвавшийся снаряд на территории образовательного учреждения. Об этом сообщает агентство Kyodo. Взрывоопасный предмет нашли на территории кампуса Университета Хиросимы. Снаряд длиной около 90 сантиметров и ... ...

В Удмуртском аграрном университете начался капремонтВ Удмуртском аграрном университете начался капремонт Ижевск. Удмуртия. В Ижевске начался капремонт первого корпуса Удмуртского аграрного университета. Об этом сообщила пресс-служба главы и правительства республики.На работы выделили около 400 млн рублей. Ремонт будет проводиться на площади почти 3,5 тыс. кв. метров. В лекционном блоке обновят фасады. ...

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