是否有任何 C 编译器能够检测到 "strictly conforming program" 的违规？
Is there any C compiler able to detect the violation of a "strictly conforming program"?
是否有任何 C 编译器能够检测*违反“严格符合程序”的行为？
* 在某些选项下，例如 --accept-only-strictly-conforming-program
如果不是，那么使用哪些工具来检测违反“严格符合程序”的行为？
信息性（C11，4.一致性，第 5 页）：
A strictly conforming program shall use only those features of the language and library specified in this International Standard.3) It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
- 缓冲区溢出是未定义的行为。
- 因此，此编译器必须检测每个可能的程序中所有可能的缓冲区溢出。
- 听起来太难或不可能
- 听起来这种编译器不存在:'(
是否有任何 C 编译器能够检测*违反“严格符合程序”的行为？
* 在某些选项下，例如 --accept-only-strictly-conforming-program
如果不是，那么使用哪些工具来检测违反“严格符合程序”的行为？
信息性（C11，4.一致性，第 5 页）：
A strictly conforming program shall use only those features of the language and library specified in this International Standard.3) It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any minimum implementation limit.
- 缓冲区溢出是未定义的行为。
- 因此，此编译器必须检测每个可能的程序中所有可能的缓冲区溢出。
- 听起来太难或不可能
- 听起来这种编译器不存在:'(