КодПир

CodePeer — это инструмент статического анализа , который идентифицирует конструкции, которые могут привести к ошибкам во время выполнения, таким как переполнение буфера, и помечает допустимый, но подозрительный код, типичный для логических ошибок. ^[1] в программах Ada . Все проверки во время выполнения Ada полностью проверяются CodePeer с использованием варианта абстрактной интерпретации . ^[2]^[3] В октябре 2014 года CodePeer был сертифицирован для использования в критически важных для безопасности контекстах. ^[4] как надежный инструмент для выявления возможных ошибок во время выполнения. CodePeer также создает подробную исполнительную документацию каждой подпрограммы, включая предварительные и последующие условия, чтобы помочь при проверке кода и облегчить раннее обнаружение потенциальных ошибок и уязвимостей. ^[5]

CodePeer производится AdaCore , компанией-разработчиком компьютерного программного обеспечения со штаб-квартирой в Северной Америке в Нью-Йорке и штаб-квартирой в Европе в Париже .

См. также

Ссылки

^ Коул, Бернард. «AdaCore выпускает новый инструмент статического анализа CodePeer» . Встроенный . Проверено 17 июня 2014 г.
^ Буланже, Жан-Луи (ноябрь 2011 г.). CodePeer - помимо поиска ошибок с помощью статического анализа (Статический анализ программного обеспечения: абстрактная интерпретация, ред.). Хобокен, Нью-Джерси, США: Wiley. п. 183. ИСБН 978-1-84821-320-3 .
^ Тафт, Такер (май 2015 г.). «Реинжиниринг абстрактной интерпретации» . Конференция ХСС . Проверено 4 июня 2015 г.
^ Эйр, Джейми (октябрь 2014 г.). «Инструмент статического анализа CodePeer от AdaCore получил квалификацию для проверки программного обеспечения в авионике и железнодорожном транспорте» . Проверено 4 июня 2015 г.
^ Уолш, Труди. «CodePeer рано обнаруживает ошибки кода Ada» . ГЦН . Проверено 17 июня 2014 г.

Внешние ссылки

[1] Коул, Бернард. «AdaCore выпускает новый инструмент статического анализа CodePeer» . Встроенный . Проверено 17 июня 2014 г.

[2] Буланже, Жан-Луи (ноябрь 2011 г.). CodePeer - помимо поиска ошибок с помощью статического анализа (Статический анализ программного обеспечения: абстрактная интерпретация, ред.). Хобокен, Нью-Джерси, США: Wiley. п. 183. ИСБН 978-1-84821-320-3 .

[3] Тафт, Такер (май 2015 г.). «Реинжиниринг абстрактной интерпретации» . Конференция ХСС . Проверено 4 июня 2015 г.

[4] Эйр, Джейми (октябрь 2014 г.). «Инструмент статического анализа CodePeer от AdaCore получил квалификацию для проверки программного обеспечения в авионике и железнодорожном транспорте» . Проверено 4 июня 2015 г.

[5] Уолш, Труди. «CodePeer рано обнаруживает ошибки кода Ada» . ГЦН . Проверено 17 июня 2014 г.

[1]

[2]

[3]

[4]

[5]