CodePeer - CodePeer

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

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

Смотрите также

Рекомендации

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

внешняя ссылка