QQ客服 官方微博 反馈留言

题名	C程序数组越界检查技术研究
作者	李明晓
导师	栾峻峰
关键词	数组越界 抽象解释 静态分析 值范围分析 抽象域 区间
学位名称	工程硕士
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/5054552
专题	山东大学
推荐引用方式 GB/T 7714	李明晓. C程序数组越界检查技术研究[D].

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。