JSF C++ 规则

Polyspace^® 中支持的 JSF^® C++ 规范的列表和描述

Polyspace JSF C++ 检查项帮助您遵守 Joint Strike Fighter^® Air Vehicle C++ 编码标准 (JSF++)。设计这些编码标准是为了提高 C++ 代码的可靠性并改进可维护性。

有关支持的规则的信息，请参阅 JSF AV C++ Coding Rules。可以使用 Check JSF C++ rules (-jsf-coding-rules) 分析选项激活这些规则的子集。当违反 JSF C++ 规则时，Polyspace 会提供消息并在其中包含有关规则违规的信息。大多数消息是在分析的编译阶段报告的。