：C程序分析中，技术性较强的是（）过程分析，其用到操作和检验两种符号