《表2 C语言字符串操作约束描述Table 2 C language string operation SCL description》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于符号执行的注入类安全漏洞的分析技术》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

基于strcmp中间表示，表2给出C语言字符串操作的SCL描述。为了简明起见，并且不影响实质效果，约束中变量%ASCIITable采用ASCII码表的子集，也就是字母数字子集，在实际情况中应该采用ASCII码全集或Unicode集合。