C程序内存错误静态分析技术研究



C程序内存错误静态分析技术研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

C程序内存错误静态分析技术研究

论文目录
摘要	第1-10 页
ABSTRACT	第10-12 页
第一章绪论	第12-20 页
· 指针相关的内存错误	第13-14 页
· 现有的工具和技术	第14-16 页
· 本文的研究内容	第16-18 页
· 本文的结构	第18-20 页
第二章程序分析的相关技术	第20-35 页
· 程序分析概述	第20-23 页
· 数据流分析技术	第23-25 页
· 数据流分析算法	第25-26 页
· 指针与别名分析的表示	第26-30 页
· 别名分析的精确性	第30-33 页
· 过程间别名分析	第33-34 页
· 本章小结	第34-35 页
第三章基于抽象赋值路径的形态分析	第35-61 页
· 引言	第35-36 页
· 形态图	第36-45 页
· 具体形态图	第36-38 页
· 具体形态图上的程序语义	第38-42 页
· 抽象形态图	第42-45 页
· 形态图的精化算法	第45-50 页
· 抽象语义	第50-55 页
· 实验分析	第55-56 页
· 正确性证明	第56-60 页
· 本章小结	第60-61 页
第四章需求驱动的内存泄漏检测	第61-88 页
· 引言	第61-63 页
· 基于指向图的内存抽象	第63-66 页
· 基本概念	第64-65 页
· 数据流事实	第65-66 页
· 需求驱动的内存泄漏检测算法	第66-80 页
· 需求驱动的思想	第66-68 页
· 过程内分析	第68-73 页
· MOD信息的计算	第73-76 页
· 过程间分析	第76-79 页
· 算法框架	第79-80 页
· 实验分析	第80-82 页
· 正确性证明	第82-87 页
· 本章小结	第87-88 页
第五章基于必然别名和可能别名的空指针解引用检测算法	第88-102 页
· 引言	第88-89 页
· 必然别名的数据流事实	第89-92 页
· 必然别名分析	第92-96 页
· 空指针解引用的检测	第96-98 页
· 实验分析	第98-99 页
· 正确性证明	第99-101 页
· 本章小结	第101-102 页
第六章结束语	第102-105 页
· 本文的主要贡献	第102-103 页
· 下一步研究工作	第103-105 页
致谢	第105-107 页
参考文献	第107-117 页
攻读博士学位期间发表的论文	第117 页

本篇论文共117页，点击这进入下载页面。

更多论文
C程序内存错误静态分析技术研究
水蜜桃品种不同季节的光合特性研究
扩展时序逻辑的推理及符号化模型检
氢化可的松、辛伐他汀、维生素C对高
Cd、Cu复合胁迫下黄菖蒲耐性、吸收
面向高效能计算的大规模资源管理技
参芪扶正液逆转多药耐药细胞株K562
浅黄色金针菇子实体颜色表达的初探
自适应系统软件体系结构的关键技术
正常骨髓液与血管内膜损伤后骨髓液
萝卜抽薹性遗传分析与春萝卜种质标
位置与标识分离网络体系结构及关键
外源活性氧物质及其抑制剂对大蒜试
战术数据链传输时延及其作战效果影
萝卜及其近缘属种亲缘关系分析与遗
高性能计算机无缓存光互连网络技术
大鼠肝卵圆细胞的增殖模型建立和体
1-甲基环丙烯（1-MCP）等处理对切花
羊膜细胞外基质、保存羊膜及自体结
黄瓜品种鉴定的RAPD分析与“碧玉”
自动目标识别评估方法研究
屈光手术兔角膜瓣与紫外线照射对HA
扩展粗糙集模型及其在烟叶质量预测
苏州市主要园林植物虫害调查及综合
面向遥感图像数据处理层应用的算法
海南省番木瓜根结线虫病病原的鉴定
碲化铋基热电薄膜制备及其热电性能
不同肥水管理措施对大棚葡萄生长结
鼻咽癌治疗过程中血浆EBV DNA水平的
低速风洞应变天平校准系统总体方案
菊花缓慢生长离体保存研究
转铁蛋白和胰岛素对成纤维细胞增殖
自动转移飞行器自主导航方法研究
黄瓜属（Cucumis）物种地理分布和分
黄芩苷、IgY抗白色念珠菌作用机制研
空间快速响应发射转移轨道设计与制
甘蓝型油菜（Brassica napus L.）油
小剂量一氧化氮在小鼠卵母细胞成熟
高CO₂浓度对稻田土壤养
反潜巡逻飞机搜潜辅助决策系统建模
儿童耐万古霉素肠球菌的表型测定与
水稻细条斑病菌harpin蛋白HpaG
四频激光陀螺平台罗经关键技术研究
酸枣仁皂苷A生物吸收的细胞学机制
空间目标天基光学监视跟踪关键技术
小麦不同近缘种氮素利用效率的差异
胃癌高发区对克拉霉素耐药的幽门螺
超燃冲压发动机燃烧室两相流混合燃
毛头鬼伞子实体多糖的提取、分离纯
体外高甘油三酯状态下LPS对血管内皮
超声速内外流干扰的数值方法研究及
小鼠胚胎干细胞分离培养及其生物学
芝麻种质资源遗传多样性研究
航天器近距离相对运动轨迹规划与控
己酮可可碱抗急性有机磷中毒家兔呼
小麦低分子量谷蛋白亚基GluA3和Glu

程序分析论文形态分析论文内存泄漏论文空指针解引用论文 SUIF2论文
版权申明：目录由用户kakaka21**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved