以下叙述中，正确的是（ ）。

本题考查编译原理和程序语言基础知识的相关内容。

对于选项A，编译正确的程序确实不包含语法错误，但并不保证不包含语义错误。语义错误是在程序运行时才会发现的错误，比如逻辑错误、除数为零等。因此，A选项错误。

对于选项B，编译程序的主要任务是对源代码进行语法分析和语义分析。如果编译正确，说明源代码没有语法错误，因此B选项正确。

对于选项C和D，除数为零的情况是一个运行时错误，无法在语法分析阶段检查出来。只有在程序运行时才能发现这种错误。因此，C和D选项都是错误的。

综上所述，正确的答案是B。