Looking at Table 9 in ISO 26262-6 (2011) Road Vehicle Functional Safety Part 6 Product Development, static code analysis (1g) and semantic code analysis (1h) are listed separately as methods for verifications.
I searched for an explanation of the differences, but I did not come across anything satisfying.
Is it an over simplification to state that static analysis can use semantic analysis, but not necessarily vice versa?
In general, what is the difference between static analysis and semantic analysis?
Most descriptions of static analysis that I've seen seem to involve discussion of semantic analysis. What is static code analysis?
Thanks for your time and any possible insights and feedback.