Is there any C compiler able to detect the violation of a "strictly conforming program"?

Is there any C compiler able to detect* the violation of a "strictly conforming program"?

* under some option, for example, --accept-only-strictly-conforming-program

If no, then which tools to use to detect the violation of a "strictly conforming program"?

Informative (C11, 4. Conformance, p5):

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.

• Buffer overflow is undefined behavior.
• Therefore, this compiler must detect every possible buffer overflow in every possible program.
• Sounds too hard or impossible
• Sounds that such compiler does not exist :'(