请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。
器件型号:TDA4VM 您好!
我们正在开发采用 TDA4VM 的安全器件。
我们知道、我们可以使用 SDK (未经过认证)中提供的编译器、而不是使用经过认证的编译器、而是按照 MISRA-C 规则编写代码、然后使用您的安全编译器资质审核套件(www.ti.com/.../SAFETI_CQKIT)验证编译的二进制文件。
不过、我们想知道、在使用 SDK 中提供的编译器编译安全应用时、您是否有关于编译标志的建议、例如:
不能使用的编译标志(例如,对于“不安全”优化,非标准行为);
-必须使用的编译标记(例如,进行更严格的附加检查)。
谢谢、此致。