问题：
[单选题]（）适合检查因控制流信息非法操作而导致的安全问题，如内存访问越界、常数传播等。
A词法分析
B数据流分析
C符号执行
D模型检验
答案解析：
您可能感兴趣的问题
- Python支持面向对象程序设计。
- 使用内置函数open()打开文件时，只要文件路径正确就总是可以正确打开的。
- １２．绘出工程造价多次性计价和建设阶段的相互关系框图，并说明各阶段造价的含义和相互关系。
- ８．人工费由哪几部分费用组成？
- １１．设备购置费由哪些费用组成？应如何计算国产标准设备的购置费？
- ９．某工程购置袋装水泥８０ｔ，市场价３３０元／ｔ，厂供价３００元／ｔ；运输费厂供价为１５元／ｔ，市场购置的运输费为１０元／ｔ；损耗率厂供为１％，市场购置损耗为０．５％；采购及保管费率，厂供为２．５％，
- １１．预算定额与施工定额有哪些联系和区别？试列表比较说明。
- １８．什么是工程造价资料？它有哪些用途？
- 1.什么是投资估算？投资估算在工程造价管理工作的地位和作用是什么？
- ９．工程结算方式有哪几种？若某工程预计工期４个月，合同价款为９０万元，该如何确定合理的工程结算方式？