semantic analysis

Also known as context sensitive analysis. The semantic analysis runs in the compiler after it gathers the necessary semantic information from the source code (the code you wrote). It checks the consistency of your code for semantic errors and performs type checking such as ensuring each operator has an operand, or making sure a variable is declared before use.