семантический анализ

Также называется контекстно-зависимым анализом. Семантический анализ выполняется компилятором после получения необходимой семантической информации из исходного кода (написанного вами).