您当前的位置：
首页 >
文章列表页 >
基于抽象解释的变量值范围分析及应用
基于抽象解释的变量值范围分析及应用
A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications
- 电子学报 2011年39卷第2期 页码：296-303
移动端阅览
HTML全文
参考文献
出版信息
数据统计
63
浏览量
2456
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种基于IR模拟执行的密码学API误用检测方法
条件上下文敏感的安卓恶意虚拟化应用检测方法
面向机器学习模型安全的测试与修复
基于镜像选择序优化的MART算法
面向近海的多基站协作通信感知一体化设计
相关作者
何亚非
占力戈
聂宇
傅建明
彭国军
孟昭逸
黄文超
张威楠
相关机构
空天信息安全与可信计算教育部重点实验室
武汉大学国家网络安全学院
中国科学技术大学计算机科学与技术学院
安徽大学计算机科学与技术学院
清华大学网络科学与网络空间研究院
