基于值依赖分析的空指针解引用检测

您当前的位置：

首页 >

文章列表页 >

基于值依赖分析的空指针解引用检测

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

上一篇|下一篇

- 基于值依赖分析的空指针解引用检测
- Null Pointer Dereference Detection Based on Value Dependences Analysis
- 马森，赵文，习翔宇，王栋伟
- 电子学报 2015年43卷第4期页码：647-651
- 作者机构：
  1. 北京大学信息科学技术学院,北京,100871
  2. 北京大学软件工程国家工程研究中心,北京,100871
  3. 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室,北京,100871
  4. 北京大学信息科学技术学院,北京,100871
  5. 北京大学软件工程国家工程研究中心,北京,100871
  6. 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室,北京,100871
- 作者简介：
- 基金信息：
- DOI： 10.3969/j.issn.0372-2112.2015.04.004
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

15

浏览量

49

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

面向API交互的Python语义化模糊测试方案

基于统计推理的二进制程序语义比较模型

贝叶斯程序分析

基于慢波微同轴的紧凑型开关线式真时延单元

低轨卫星网络自适应随机接入研究

相关作者

苏璞睿

贾相堃

王继刚

闫新成

李政浩

王盼

郭曦

熊英飞

相关机构

东南大学网络空间安全学院

中兴通讯股份有限公司

基础软件与系统重点实验室（中国科学院）

中国科学院软件研究所

中国科学院大学