解析：高级语言源程序中的错误分为两类：语法错误和语义错误。①语法错误指语言结构上的错误。②语义错误又可分为静态语义错误和动态语义错误。静态语义错误指编译时就能发现的程序含义上的错误，动态语义错误只有在程序运行时才能表现出来。堆栈溢出、指针异常和数组元素下标越界都是程序运行中才能出现的问题，而遵循先声明后引用原则的程序语言必须先定义变量，然后才能使用，否则编译器会在语法分析阶段指出变量未定义错误。本题正确答案为选项B。