This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

[参考译文] RM48L952:halcogen 代码的 MISRA 兼容性

Guru**** 2390735 points
Other Parts Discussed in Thread: RM48L952, HALCOGEN
请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

https://e2e.ti.com/support/microcontrollers/arm-based-microcontrollers-group/arm-based-microcontrollers/f/arm-based-microcontrollers-forum/1324518/rm48l952-misra-compliance-for-halcogen-code

器件型号:RM48L952
主题中讨论的其他器件:HALCOGEN

您好!

我正在尝试通过 Hercules 的 IEC61508 SIL 认证。

但是、在 MISRA C 2004的静态分析期间、会出现很多问题。

我知道、HalcogGen 完全符合 MISRA C 2004标准。

因此、我想了解 TI 针对 Hercules 处理器的 MISRA 策略、尤其是 RM48L952。

您是否想分享 MISRA C 2004策略的一些文档和其他可证明合规性的文档?

此致、

李真  

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jen Lee:

    从用于 Hercules 器件的 HALCoGen (RM48)生成的代码 仅符合 MISRA-C 2004编码指南。

    SAFETI-HALCOGEN-CSP IDE、配置、编译器或调试器| TI.com

    您可以从上面的 CSP 链接下载与 MISRA-C 2004相关的测试报告。

    --

    谢谢。此致、
    Jagadish。

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    Jagadish、您好!

    我的问题是、HalcogGen 在 MISRA-2004静态分析期间创建的代码存在很多违规行为。

    我 在此论坛上阅读了一些与我的问题相关的问题、我意识到我需要 TI 的 MISRA 抛光、以说明应排除哪个选项。

    如果你有这样的文件,请分享给我...

    我试图在你发送的链接中找到一些东西,但我不能。

    非常感谢您的帮助。

    谢谢。此致、

    李真

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jin Lee:

    您能否共享您的构建日志?

    以便我可以验证您遇到了什么类型的错误。

    --
    谢谢。此致、
    Jagadish。

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    你好、谢谢。

    构建日志有什么含义?

    您是指 CCS 编译日志吗?

    编译期间没有错误或警告。

    我分享 LDRA 代码审查报告。

    在这份报告中、我的代码和 HalcGen 代码出现了很多违规情况、我正在处理违反代码的问题。

    我想您可以从这份报告中识别出 HALCoGen 创建的代码违反行为。

    谢谢。此致、

    李真

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    抱歉、我无法上传我的文件... 我不知道该怎么做。

    下面是 MISRA-2004违反情况的示例。

    我  

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jin:

    以下是构建选项:

    编译器选项:-mv7R4 --code_state=32 --float_support=VFPv3D16 --abi=eabi -g --define=_Big_ENDIAN --diag_warning=261 --diag_warning=118 --diag_warning=225 --diag_error=189 --diag_error=994 --diag_error=994 --diag_display_type=ENUDMA
    链接器选项:-reread_libs --warn_sections --rom_model --be32
    运行时库:rtsv7R4_T_be_v3D16_eabi.lib
    CG 工具根路径:C:\ti\ccsv8\tools\compiler\arm_5.1.6
    从属方块库启动:
    "C:\ti\Hercules\F021 Flash API\02.01.01\F021_API_CortexR4_BE_L2FMC.lib"
    可靠的 LibraryEnd
    IncludePathStart:
    C:\ti\Hercules\F021 Flash API\02.01.01\include
    包括 PathEnd
    SourcePathStart:
    "C:\ti\Hercules\F021 Flash API\02.01.01\source"
    源路径编码

    您可以尝试使用上述设置吗?

    --
    谢谢。此致、
    Jagadish。

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    Jagadish、您好!

    感谢您的答复、我将尝试采纳您的建议。

    但是、我无法理解您的建议...

    我说过 在 MISRA-C 2004静态测试期间出现违规情况。

    这意味着问题 在 HalcogGen 生成的源代码中、而不是在对象中。

    编译器构建选项对这个问题有帮助吗?

    谢谢。此致、

    李真

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jin:

    只需通过更改构建选项来执行静态分析、然后查看、还请注意以下事项:

    关于 MISRA 检查需要注意的几个问题
    1) 1)一些 MISRA 检查工具差异、HALCoGen 代码 MISRA 规则检查由 LDRA 工具执行。
    2)我们整个团队都有 MisraC2004政策文件,我们遵守,文件包含我们遵守的规则清单和我们有理由违反的规则。 策略文档通过 CSP 提供给客户、也是最上面的一层、我们提出了违反 MISRA 的理由、经过代码审核后得到批准。
    3)我们不能简单地启用所有规则,并期望100%遵守。

    --

    谢谢。此致、
    Jagadish。

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jagadish:

    我直到现在才能进行静态分析、因为我自己没有 LDRA 工具。

    我在韩国的一家咨询公司工作、他们拥有 LDRA 工具并进行测试、我需要一些时间来安排新的测试。

    我将按照您所说的进行测试。

    顺便说一句,我需要警察说明哪些规则 应该被排除或修改。

    您说过它是通过 CSP 提供的...

    您是说我必须购买 CSP 许可证吗?

    是否有其他方法可以为我获取该文档?

    谢谢。

    李真

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    尊敬的 Jin:

    很抱歉我的答复出现延误。

    我也没有 LDRA 工具和 CSP 的实际操作经验。 我刚转发给 QJ、他对此有着丰富的经验、希望他能尽快作出回应。

    --
    谢谢。此致、
    Jagadish。