单项选择题

A.词法分析
B.数据流分析
C.符号执行
D.模型检验