语法正确的程序会在编译时通过，但语义错误会在运行时导致异常或结果不符合预期，因此选项B正确。