高技术通讯2019，Vol.29Issue(10)：961-968,8.DOI:10.3772/j.issn.1002-0470.2019.10.003
基于抽象解释的单变量值范围分析
Value range analysis of single variable based on abstract interpretation
摘要
关键词
抽象解释/区间抽象/单变量/上下文状态/静态分析引用本文复制引用
李静,侯春燕,王劲松..基于抽象解释的单变量值范围分析[J].高技术通讯,2019,29(10):961-968,8.基金项目
天津市自然科学基金(18JCZDJC30700)和赛尔网络下一代互联网技术创新(NGII20160121)资助项目. （18JCZDJC30700）
