СофЧек Инспектор
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Август 2016 г. ) |
Инспектор SofCheck [1] — инструмент статического анализа для Java и Ada . Он статически определяет и документирует пред- и постусловия методов Java или подпрограмм Ada и использует эту информацию для выявления логических ошибок. [2] условия гонки и избыточный код в отдельном классе Java или пакете Ada, подсистеме или полной программе. SofCheck Inspector производится компанией SofCheck, Inc., производящей программные продукты, в Берлингтоне, штат Массачусетс .
SofCheck Inspector Механизм статического анализа используется в CodePeer. [3] статического анализа продукт от AdaCore .
См. также
[ редактировать ]- Статический анализ кода
- Тестирование программного обеспечения
- Обеспечение безопасности программного обеспечения
- Список инструментов для статического анализа кода
Ссылки
[ редактировать ]- ^ «SofCheck: Инспектор SoftCheck: быстрее находите ошибки» . Архивировано из оригинала 28 сентября 2007 г. Проверено 23 февраля 2009 г.
- ^ «STSC CrossTalk — подробное описание недостатков безопасности — март 2007 г.» . Архивировано из оригинала 19 мая 2007 г. Проверено 26 апреля 2007 г.
- ^ «КодПир» . AdaCore.com . Архивировано из оригинала 23 февраля 2012 г. Проверено 10 августа 2016 г.