[单选题]（）适合检查因控制流信息非法操作而导致的安全问题，如内存访问越界、常数传播等。51B答案窝(daanwo.com)-大学生作业答案及考资分享平台
A词法分析51B答案窝(daanwo.com)-大学生作业答案及考资分享平台
B数据流分析51B答案窝(daanwo.com)-大学生作业答案及考资分享平台
C符号执行51B答案窝(daanwo.com)-大学生作业答案及考资分享平台
D模型检验