一种符号执行制导的循环内界分析方法

您当前的位置：

首页 >

文章列表页 >

一种符号执行制导的循环内界分析方法

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 一种符号执行制导的循环内界分析方法
- A Symbolic Execution Guided Inner Loop Bound Analysis
- 赵祖威，冯世宁，汤恩义，陈鑫，李宣东，潘敏学，赵晨
- 电子学报 2017年45卷第11期页码：2582-2592
- 作者机构：
  1. 南京大学软件新技术国家重点实验室,江苏,南京,210023
  2. 南京大学软件学院,江苏,南京,210093
  3. 南瑞集团公司(国网电力科学研究院),江苏,南京,211106
  4. 国电南瑞科技股份有限公司,江苏,南京,211106
  5. 南京大学软件新技术国家重点实验室,江苏,南京,210023
  6. 南京大学软件学院,江苏,南京,210093
  7. 南瑞集团公司(国网电力科学研究院),江苏,南京,211106
  8. 国电南瑞科技股份有限公司,江苏,南京,211106
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61402222，No.61632015）;国家重点研发计划 (No.2016YFB1000802）;教育部高等学校博士学科点专项科研基金 (No.20110091120058）;江苏省产学研项目 (No.BY2014126-03）
- DOI： 10.3969/j.issn.0372-2112.2017.11.003
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

280

浏览量

350

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

一种面向性质的实时系统测试方法

基于抽象解释的变量值范围分析及应用

相关作者

管晓宏

李琦

王骞

李前

蔺琛皓

沈超

张笑宇

李志博

相关机构

清华大学网络科学与网络空间研究院

武汉大学国家网络安全学院

智能网络与网络安全教育部重点实验室（西安交通大学）

西安交通大学电子与信息学部网络空间安全学院

中关村实验室