Примечание
Начиная в будущем релизе, Code Prover не поддержит проверяющее соответствие внешним стандартам кодирования и вычислению метрик кода. Мигрируйте на Bug Finder для этих рабочих процессов. Смотрите Polyspace JSF AV Средства проверки C++.
Polyspace® JSF® Средство проверки C++ помогает вам выполнить Объединенного Борца Забастовки® Воздушное Транспортное средство стандарты кодирования C++ (JSF ++). Эти стандарты кодирования были разработаны Lockheed Martin® для Объединенной программы Борца Забастовки. Они спроектированы, чтобы улучшить робастность Кода С++ и улучшить поддерживаемость.
[1]
Когда JSF ++ правила нарушены, Polyspace JSF, средство проверки C++ позволяет программному обеспечению Polyspace предоставить сообщениям информацию о нарушениях правила. О большинстве сообщений сообщают во время фазы компиляции анализа.
Примечание
Polyspace JSF средство проверки C++ основан на JSF ++:2005.
[1] JSF и Объединенным Борцом Забастовки является Lockheed Martin.
