Jus*_*ude 6 static-analysis semantics
查看 ISO 26262-6 (2011) Road Vehicle Functional Safety Part 6 Product Development 中的表 9，静态代码分析 (1g) 和语义代码分析 (1h) 作为验证方法分别列出。
我寻找差异的解释，但我没有遇到任何令人满意的事情。
声明静态分析可以使用语义分析，但不一定反之亦然，这是否过于简单化？
一般来说，静态分析和语义分析有什么区别？
我见过的大多数静态分析的描述似乎都涉及语义分析的讨论。 什么是静态代码分析？
感谢您的时间以及任何可能的见解和反馈。
大多数编译器在编译时进行语义分析，其目的是检查您的代码是否满足编程语言规范。它通常检查类型正确性、方法存在性等。
静态分析是一个比较复杂的过程，在不运行程序的情况下发现一些警告、错误等。它比语义分析更深入，并产生更详细的结果。
例如，有很多静态分析工具，如PVS-Studio、Intellij Idea 检查等。
有时，它们会产生大量噪音，但可以帮助您避免一些错误。