南开大学编译原理课程所使用的软件工具

软件工具 静态检查 “简单”、“快速”的编译，检查可能的语义错误，甚至逻辑错误 PC-LINT：不会执行的程序段、判断非负整数是否大于等于0 char firstChar1 (char *s) { return *s; } 可能为空！