Поговорим про статанализ.
Что это?
Метод исследования кода на наличие ошибок и уязвимостей без исполнения кода.
Какие есть способы исследования?
Элементы статического анализа часто бывают включены в компиляторы:
👍 для GCC — начиная с версии 10,
👍 для Clang — начиная с версии 3.
В более ранних версиях можно использовать более жёсткие правила по работе с предупреждениями:
-Wall -Wextra -pedantic -Werror.
Если в компиляторе нет встроенного статического анализатора или требуется более глубокий анализ (например, при разработке отечественных продуктов с учётом требований РБПО), необходимо использовать дополнительные средства анализа.
Они бывают:
👍 Opensource-решения — как правило, не соответствуют требованиям, описанным в ГОСТ Р 71207-2024 и Методике ВУ и НДВ в ПО.
👍 Коммерческие решения — обычно соответствуют требованиям и являются предпочтительным вариантом. Рынок статических анализаторов в России хорошо развит, так что выбрать есть из чего.
Что требует ГОСТ?
ГОСТ по статическому анализу обязывает разработчиков проводить анализ всех исходников проекта не реже одного раза в 10 дней.
Что рекомендуем мы?
👍 Проводить полный анализ всего проекта регулярно, мы проводим для нашей ОС — раз в неделю.
👍 Анализировать изменения при каждом обновлении кодовой базы — на уровне pull request'ов и задач.
#ДайджестРБПО
Что это?
Метод исследования кода на наличие ошибок и уязвимостей без исполнения кода.
Какие есть способы исследования?
Элементы статического анализа часто бывают включены в компиляторы:
В более ранних версиях можно использовать более жёсткие правила по работе с предупреждениями:
-Wall -Wextra -pedantic -Werror.
Если в компиляторе нет встроенного статического анализатора или требуется более глубокий анализ (например, при разработке отечественных продуктов с учётом требований РБПО), необходимо использовать дополнительные средства анализа.
Они бывают:
Что требует ГОСТ?
ГОСТ по статическому анализу обязывает разработчиков проводить анализ всех исходников проекта не реже одного раза в 10 дней.
Что рекомендуем мы?
#ДайджестРБПО
Please open Telegram to view this post
VIEW IN TELEGRAM
👍18🔥7 3
🔔 Важнейшее событие в мире АСУ ТП уже совсем скоро!
21 мая в Москве соберутся лидеры индустрии, чтобы обсудить ключевые векторы развития: импортозамещение, ИИ, информационную безопасность, цифровизацию и автоматизацию — всё это в рамках одного масштабного дня.
Наш эксперт Николай Бабич примет участие в круглом столе «Цифровая трансформация промышленности: роль искусственного интеллекта в модернизации производственных процессов».
На конференции мы покажем мониторинг аномальной активности на базе интеллектуальной платформы Синаптика на промышленном контроллере АБАК ПЛК производства компании «Инкомcистемс».
И, разумеется, контроллер работает под управлением ОСРВ Нейтрино.
📍 Не пропустите — 21 мая, Москва, кластер «Ломоносов»
Будет полезно, технологично и по делу!
Регистрация на меропритие👈
#Мероприятия
21 мая в Москве соберутся лидеры индустрии, чтобы обсудить ключевые векторы развития: импортозамещение, ИИ, информационную безопасность, цифровизацию и автоматизацию — всё это в рамках одного масштабного дня.
Наш эксперт Николай Бабич примет участие в круглом столе «Цифровая трансформация промышленности: роль искусственного интеллекта в модернизации производственных процессов».
На конференции мы покажем мониторинг аномальной активности на базе интеллектуальной платформы Синаптика на промышленном контроллере АБАК ПЛК производства компании «Инкомcистемс».
И, разумеется, контроллер работает под управлением ОСРВ Нейтрино.
📍 Не пропустите — 21 мая, Москва, кластер «Ломоносов»
Будет полезно, технологично и по делу!
Регистрация на меропритие
#Мероприятия
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥10👍7❤2 2
Сегодня мы приняли участие в новом мероприятии - IEK Digital forum.
Продемонстрировали работу Нейтрино на ПЛК АБАК.
Сейчас много вопросов про место ИИ в АСУ ТП и безопасность систем, в которые встроены ИИ. Николай Бабич высказал своё экспертное мнение на круглом столе в рамках форума.
#Мероприятия
Продемонстрировали работу Нейтрино на ПЛК АБАК.
Сейчас много вопросов про место ИИ в АСУ ТП и безопасность систем, в которые встроены ИИ. Николай Бабич высказал своё экспертное мнение на круглом столе в рамках форума.
#Мероприятия
👍19🔥8 1
Сегодня завершилось обучение по курсу «Разработка приложений для ЗОСРВ «Нейтрино».
Слушатели освоили архитектуру ОСРВ, работу с API, особенности кросс-компиляции, отладки и деплоя под Нейтрино. Все успешно прошли тестирование и получили удостоверения о повышении квалификации.
А уже через неделю (02 июня) стартует новый курс - «Администрирование и диагностика ЗОСРВ «Нейтрино».
🔧Если вы хотите научиться использовать утилиты, работать с файловой, графической и сетевой подсистемами, периферийными устройствами — этот курс для вас.
Осталось несколько мест.
Кто хочет успеть - запись на курсы по администрированию:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
Слушатели освоили архитектуру ОСРВ, работу с API, особенности кросс-компиляции, отладки и деплоя под Нейтрино. Все успешно прошли тестирование и получили удостоверения о повышении квалификации.
А уже через неделю (02 июня) стартует новый курс - «Администрирование и диагностика ЗОСРВ «Нейтрино».
🔧Если вы хотите научиться использовать утилиты, работать с файловой, графической и сетевой подсистемами, периферийными устройствами — этот курс для вас.
Осталось несколько мест.
Кто хочет успеть - запись на курсы по администрированию:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
🔥9👍6 3🤝1
Опытом нужно делиться!
Поэтому мы вместе с нашими партнёрами PVS-Studio решили провести вебинар 05 июня в 12.00.
На нем мы расскажем и покажем:
👍 Как создавать надежное и безопасное ПО с помощью современных инструментов разработки
👍 Как автоматически выявлять ошибки, уязвимости и несоответствия стандартам (SAST, MISRA, CWE) с помощью PVS-Studio и комплекта разработчика для Нейтрино с кроссплатформенными решениями для Linux и Windows
👍 Практические кейсы с примерами работы инструментов в реальных проектах
Вебинар предназначен для разработчиков, тестировщиков, архитекторов и всех, кто стремится писать чистый, безопасный и эффективный код.
Регистрация на вебинар👈
🚀 И бонус для всех неравнодушных к РБПО людей - цикл заметок от Андрея Карпова, большого специалиста по статическому анализу и директора по развитию бизнеса PVS-Studio.
#Вебинары #Безопасная_разработка #ДайджестРБПО
Поэтому мы вместе с нашими партнёрами PVS-Studio решили провести вебинар 05 июня в 12.00.
На нем мы расскажем и покажем:
Вебинар предназначен для разработчиков, тестировщиков, архитекторов и всех, кто стремится писать чистый, безопасный и эффективный код.
Регистрация на вебинар
#Вебинары #Безопасная_разработка #ДайджестРБПО
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥12👍5 2🤝1
ПТА докатилось и до нашего родного города - Санкт-Петербурга.
Уже завтра, 27 мая, в отеле Moskovskye Vorota откроется двухдневная конференция «ПТА-Санкт-Петербург 2025».
На мероприятии мы продемонстрируем стенд с замерами характеристик реального времени на модуле Diasom под управлением Нейтрино.
Во второй день конференции, 28 мая в 09.30, Владимир Махилёв представит доклад «ОС реального времени «Нейтрино» для встраиваемых систем промышленной автоматизации».
Регистрация на меропритие👈
#Мероприятия
Уже завтра, 27 мая, в отеле Moskovskye Vorota откроется двухдневная конференция «ПТА-Санкт-Петербург 2025».
На мероприятии мы продемонстрируем стенд с замерами характеристик реального времени на модуле Diasom под управлением Нейтрино.
Во второй день конференции, 28 мая в 09.30, Владимир Махилёв представит доклад «ОС реального времени «Нейтрино» для встраиваемых систем промышленной автоматизации».
Регистрация на меропритие
#Мероприятия
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥9👍5 2
На конференции "ПТА-Санкт-Петербург 2025" можно увидеть реальные применения нашей ОСРВ Нейтрино.
На соседнем с нашим стенде компания Нефтеавтоматика представила отказоустойчивый ПЛК MKLogic-SF на базе трёх резервированных процессорных модулей под управлением Нейтрино. ПЛК MKLogic-SF предназначен для построения противоаварийной защиты (ПАЗ) с требуемым уровнем полноты безопасности SIL3 на опасных производственных объектах.
#Мероприятия
На соседнем с нашим стенде компания Нефтеавтоматика представила отказоустойчивый ПЛК MKLogic-SF на базе трёх резервированных процессорных модулей под управлением Нейтрино. ПЛК MKLogic-SF предназначен для построения противоаварийной защиты (ПАЗ) с требуемым уровнем полноты безопасности SIL3 на опасных производственных объектах.
#Мероприятия
👍13🔥7❤1
Во второй день конференции "ПТА-Санкт-Петербург 2025" Владимир Махилёв выступил с докладом «ОС реального времени «Нейтрино» для встраиваемых систем промышленной автоматизации». Владимир рассказал о возможностях и примерах эффективного применения Нейтрино в составе промышленных контроллеров и ПЛК с учётом требований к доверенным ПАК по информационной и функциональной безопасности.
#Мероприятия
#Мероприятия
👍14 4🔥3❤2
🚀 Напоминание: вебинар уже завтра.
Друзья, уже завтра, 5 июня в 12:00 (МСК) состоится наш совместный вебинар с партнёрами из PVS-Studio!
Мы уверены: опытом важно делиться — особенно, когда речь идет о создании надежного и безопасного ПО.
📌 В программе:
🔹 Как использовать современные инструменты для разработки качественного кода
🔹 Как выявлять ошибки, уязвимости и нарушения стандартов (SAST, MISRA, CWE) с помощью PVS-Studio и комплекта разработчика для Нейтрино
🔹 Реальные кейсы: как инструменты работают в боевых условиях на проектах под Linux и Windows
👨💻 Вебинар будет полезен:
Разработчикам, тестировщикам, архитекторам — всем, кто стремится писать чистый, безопасный и эффективный код.
Регистрация на вебинар👈
#Вебинары #Безопасная_разработка
Друзья, уже завтра, 5 июня в 12:00 (МСК) состоится наш совместный вебинар с партнёрами из PVS-Studio!
Мы уверены: опытом важно делиться — особенно, когда речь идет о создании надежного и безопасного ПО.
📌 В программе:
🔹 Как использовать современные инструменты для разработки качественного кода
🔹 Как выявлять ошибки, уязвимости и нарушения стандартов (SAST, MISRA, CWE) с помощью PVS-Studio и комплекта разработчика для Нейтрино
🔹 Реальные кейсы: как инструменты работают в боевых условиях на проектах под Linux и Windows
👨💻 Вебинар будет полезен:
Разработчикам, тестировщикам, архитекторам — всем, кто стремится писать чистый, безопасный и эффективный код.
Регистрация на вебинар
#Вебинары #Безопасная_разработка
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥9👍6 3
🌃 Питер не спит. Белые ночи, разводные мосты, лёгкий бриз с Невы…
А у нас — только что завершился курс «Администрирование и диагностика ЗОСРВ «Нейтрино».
Все слушатели сдали тестирование, получили удостоверения и вышли из аудитории с +100 к уверенности в себе и своей карьере 💼✨
Если ты работаешь с ОС, хочешь уверенно настраивать, администрировать и диагностировать — этот курс тебе точно пригодится.
📈 Уверенные навыки = новые проекты, новые возможности !!!
📌 Запись на следующий поток:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
А у нас — только что завершился курс «Администрирование и диагностика ЗОСРВ «Нейтрино».
Все слушатели сдали тестирование, получили удостоверения и вышли из аудитории с +100 к уверенности в себе и своей карьере 💼✨
Если ты работаешь с ОС, хочешь уверенно настраивать, администрировать и диагностировать — этот курс тебе точно пригодится.
📈 Уверенные навыки = новые проекты, новые возможности !!!
📌 Запись на следующий поток:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
🔥12👍6 3
🔧 Опыт использования встроенного ИИ в Нейтрино для анализа аномалий — статья Кирилла Мальцева на Хабре
📄 «Практическое применение встроенной в ОСРВ технологии ИИ для анализа и отладки аномалий в работе софта»
В статье описывается использование встроенных средств диагностики на базе ИИ в сочетании с инструментами анализа. Это позволяет эффективно выявлять и устранять проблемы в работе ПО.
Хорошего чтения! Будем рады вашим лайкам, репостам и комментариям 🙌
#Хабр #ИИ
📄 «Практическое применение встроенной в ОСРВ технологии ИИ для анализа и отладки аномалий в работе софта»
В статье описывается использование встроенных средств диагностики на базе ИИ в сочетании с инструментами анализа. Это позволяет эффективно выявлять и устранять проблемы в работе ПО.
Хорошего чтения! Будем рады вашим лайкам, репостам и комментариям 🙌
#Хабр #ИИ
🔥17👍4 2❤1
05 июня прошел наш первый вебинар «Эффективная разработка с Нейтрино и PVS-Studio: инструменты, безопасность и качество кода». Мы его проводили вместе с нашими партнёрами - PVS-Studio.
На вебинаре обсудили:
🔹 Как использовать современные инструменты для разработки качественного кода
🔹 Как выявлять ошибки, уязвимости и нарушения стандартов (SAST, MISRA, CWE)
🔹 Реальные кейсы: как инструменты работают в боевых условиях на проектах под Linux и Windows
Если не успели на эфир или хотите пересмотреть его на длинных выходных — вот запись вебинара!
Приятного просмотра!
Следите за новостями - скоро новый вебинар.
#Вебинары #Безопасная_разработка
На вебинаре обсудили:
🔹 Как использовать современные инструменты для разработки качественного кода
🔹 Как выявлять ошибки, уязвимости и нарушения стандартов (SAST, MISRA, CWE)
🔹 Реальные кейсы: как инструменты работают в боевых условиях на проектах под Linux и Windows
Если не успели на эфир или хотите пересмотреть его на длинных выходных — вот запись вебинара!
Приятного просмотра!
Следите за новостями - скоро новый вебинар.
#Вебинары #Безопасная_разработка
👍13🔥5 3
🚀 19-20 июня, в Москве стартует XII научно-практическая конференция OS Day — значимое событие года для специалистов в области операционных систем!
👨💻 Наш эксперт по РБПО, Евгений Дужак, выступит с докладом «РБПО как фундамент жизненного цикла ОС Нейтрино».
Что вы узнаете из доклада:
👍 Архитектура Нейтрино
👍 Технологии, лежащие в основе разработки ОС
👍 Почему безопасная разработка — это не просто тренд, а необходимость
🎙 Участие возможно как очно, так и онлайн — выбирайте удобный формат и присоединяйтесь!
📌 Торопитесь регистрация заканчивается!
#OSDay #Мероприятия #РБПО
👨💻 Наш эксперт по РБПО, Евгений Дужак, выступит с докладом «
Что вы узнаете из доклада:
🎙 Участие возможно как очно, так и онлайн — выбирайте удобный формат и присоединяйтесь!
📌 Торопитесь регистрация заканчивается!
#OSDay #Мероприятия #РБПО
Please open Telegram to view this post
VIEW IN TELEGRAM
👍10 6🔥4❤1
Сегодня на конференции OS Day с докладом выступил наш эксперт Евгений Дужак!
Тема — «РБПО как фундамент жизненного цикла ОС Нейтрино».
В своём выступлении Евгений рассказал об архитектурных особенностях Нейтрино и ключевых технологиях в процессе разработки ОС.
Выступление получилось насыщенным — спасибо всем, кто был в зале и подключался онлайн!
#OSDay #Мероприятия #РБПО
Тема — «РБПО как фундамент жизненного цикла ОС Нейтрино».
В своём выступлении Евгений рассказал об архитектурных особенностях Нейтрино и ключевых технологиях в процессе разработки ОС.
Выступление получилось насыщенным — спасибо всем, кто был в зале и подключался онлайн!
#OSDay #Мероприятия #РБПО
👍15 4🔥3❤2