semantics - 静态分析和语义分析有什么区别？

Question

查看 ISO 26262-6 (2011) Road Vehicle Functional Safety Part 6 Product Development 中的表 9，静态代码分析 (1g) 和语义代码分析 (1h) 作为验证方法分别列出。

我寻找差异的解释，但我没有遇到任何令人满意的事情。

声明静态分析可以使用语义分析，但不一定反之亦然，这是否过于简单化？

一般来说，静态分析和语义分析有什么区别？

我见过的大多数静态分析的描述似乎都涉及语义分析的讨论。
What is static code analysis?

感谢您的时间以及任何可能的见解和反馈。

Answer 1

静态分析意味着分析仅针对源代码运行，不需要运行代码或提供测试输入。此类别中的另一种是动态分析，它实际上运行代码来测试给定的输入。

语义分析表明分析估计(或计算)源代码的含义。此类别中的另一种是语法分析，它仅检查源代码的形状。

在大多数情况下，仅仅说语义或句法分析意味着它也是静态分析。

例如，假设 C 编译器发出“缺少分号”和“未使用的变量”两个错误，前者是(静态)句法分析的结果，后者是编译器执行的(静态)语义分析的结果。