单项选择题
A.系统的生命周期是无限长的B.系统开发分为5个阶段：规划、分析、设计、实现和运行C.系统开发每个阶段都会有相应的期限D.系统开发过程的每一个阶段都是一定的循环过程
A.AESB.DESC.ECCD.DSS
A.符号执行B.数据流分析C.模型检验D.污点传播分析技术