教育论文网

基于MISRA标准的通用C语言自动化检测工具

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
基于MISRA标准的通用C语言自动化检测工具
论文目录
 
摘要第1-6页
ABSTRACT第6-15页
第一章 绪论第15-22页
  1.1 研究背景与意义第15-16页
  1.2 国内外研究现状第16-19页
    1.2.1 静态分析方法第16-18页
    1.2.2 C语言安全编程规则第18页
    1.2.3 代码规则检测工具第18-19页
  1.3 研究内容及目标第19-20页
    1.3.1 研究内容第19-20页
    1.3.2 研究目标第20页
  1.4 本论文的组织结构第20-22页
第二章 MISRA C安全编程规则集第22-30页
  2.1 安全C代码标准MISRA第22页
  2.2 MISRA C对代码风险来源的分类第22-23页
  2.3 MISRA C:2004安全编程规范的分类第23-29页
    2.3.1 表达式类的安全规范第23-26页
      2.3.1.1 表达式的求值顺序第24-25页
      2.3.1.2 有副作用的表达式第25-26页
      2.3.1.3 容易混淆的表达式第26页
    2.3.2 控制流类的安全规范第26-28页
      2.3.2.1 准确控制程序流程第26-27页
      2.3.2.2 避免不起作用的表达第27页
      2.3.2.3 避免破坏程序结构化的表达第27-28页
    2.3.3 函数声明与定义类的安全规范第28-29页
    2.3.4 函数调用类的安全规范第29页
  2.4 本章小结第29-30页
第三章 代码规则检测关键技术研究第30-45页
  3.1 静态信息提取方法的研究第30-32页
  3.2 LEX构造词法分析器的关键技术第32-35页
    3.2.1 LEX构造词法分析器完成记号识别的工作机制第33-34页
    3.2.2 LEX源程序第34-35页
  3.3 YACC构造语法分析器的关键技术第35-39页
    3.3.1 YACC构造语法分析器完成语法分析的工作机制第36-37页
    3.3.2 YACC源程序第37-39页
  3.4 代码规则检测方法的研究第39-44页
    3.4.1 控制流类安全规范第40-42页
    3.4.2 函数声明与定义类的安全规范第42-43页
    3.4.3 表达式安全规范第43-44页
  3.5 本章小结第44-45页
第四章 系统总体设计第45-52页
  4.1 软件需求分析与系统功能描述第45-46页
  4.2 软件开发平台第46页
  4.3 总体框架第46-47页
  4.4 系统模块划分第47-50页
  4.5 系统数据交互第50-51页
  4.6 本章小结第51-52页
第五章 系统详细设计与实现第52-85页
  5.1 规则配置文件管理模块第52-54页
    5.1.1 规则配置文件的选取第52页
    5.1.2 MISRA规则配置文件的设计第52-54页
  5.2 检测工程管理模块第54-55页
    5.2.1 规则配置文件与TreeView的绑定第54页
    5.2.2 规则描述性配置文件的操作第54-55页
  5.3 目标对象处理模块第55-75页
    5.3.1 MISRA规则检测词法分析模块第55-63页
      5.3.1.1 文件读入第56-57页
      5.3.1.2 字符流读入第57页
      5.3.1.3 记号的识别第57-63页
    5.3.2 MISRA规则检测语法分析模块第63-75页
      5.3.2.1 声明第64-67页
      5.3.2.2 语句第67-72页
      5.3.2.3 表达式第72-75页
      5.3.2.4 函数定义第75页
  5.4 检测模块第75-83页
    5.4.1 标识符类安全规范检测第75-77页
    5.4.2 表达式类安全规范检测第77-79页
    5.4.3 控制流类安全规范检测第79-81页
    5.4.4 函数类安全规范检测第81-82页
    5.4.5 标准库类安全规范检测第82-83页
  5.5 违规信息管理模块第83-84页
  5.6 本章小结第84-85页
第六章 系统测试及分析第85-95页
  6.1 测试环境第85页
  6.2 测试方案第85页
  6.3 测试目标第85-86页
  6.4 测试及结果分析第86-94页
    6.4.1 单文件测试及结果分析第86-90页
    6.4.2 多文件测试及结果分析第90-94页
  6.5 测试结论第94页
  6.6 本章小结第94-95页
第七章 总结与展望第95-97页
  7.1 工作总结第95-96页
  7.2 未来展望第96-97页
致谢第97-98页
参考文献第98-101页
攻硕期间取得的研究成果第101-102页

本篇论文共102页,点击这进入下载页面
 
更多论文
基于MISRA标准的通用C语言自动化检
污泥—煤复合成型燃料及其燃烧NO_x
科创学院舆情信息管理系统的设计与
热处理对低阶煤在空气中复吸性影响
基于web的银行担保系统的设计与实现
热力耦合振动流化床动力学分析
基于SOA架构的包商银行工作流集中作
贺斯格乌拉褐煤添加氧化钙热解研究
基于.NET的贵州电视台节目管理系统
基于全厂生产平衡的煤化工装置操作
基于Web的实验中心管理系统的设计与
煤热解与甲烷水蒸气重整耦合过程硫
大英县司法系统案件办理信息系统的
萘系中间相沥青制备及其性能研究
小型招聘管理系统开发
焦炉集气管压力F-PID复合控制系统的
XX航空公司机构管理和培训子系统的
粗苯预蒸馏塔地震响应有限元分析
旅游景区数字化暨一卡通系统的设计
新钢90吨干熄焦控制系统设计与实现
6.25m捣固装煤推焦一体机装煤装置的
公安系统内部基于Android室内Wi-Fi
基于数据驱动子空间的焦炉集气管压
东莞职业技术学院资产管理系统的设
煤沥青改性和其族组分炭化产物微观
手机小秘书以及通知推广的设计与实
热机械法测定沥青热变形的研究
基于B/S的高职院校宿舍出入综合管理
无粘结剂炭材料的工艺研究
石油设备管理系统设计与实现
HFO-1234yf工质及其混合物汽液相平
高校校医院门诊管理软件的设计与实
乙醇燃料热解产气与积碳特性实验研
石家庄科工院单独招生系统的设计与
稀释气体和氢气对甲烷/空气预混层流
XX公司党建信息管理系统的设计与实
复合型固体酸催化剂催化废油脂制备
智能手机导航系统设计与实现
适用于汽油参比燃料TRF的多环芳香烃
义乌市存量房网上备案系统的设计与
基于鼠李糖脂的柴油增溶蓖麻油微乳
天士力集团产品销售管理系统的设计
甲钴胺原料药工艺改进研究
计算机基础课程考试软件研制
地夫可特生产的关键中间体合成工艺
成都师范学院校园一卡通系统设计与
去甲二氢愈创木酸表面分子印迹聚合
宾馆酒店计费管理系统设计与实现
一锅法合成头孢呋辛钠的工艺研究
四川水利职业技术学院学生心理档案
乳酸菌素片制备技术研究
电信区县社区营销管理系统的设计与
EGFR抑制剂类抗癌药吉非替尼合成工
基于物联网技术的高端牛肉产品追溯
多甲氧基查尔酮及其含氮衍生物的合
静海供电固定资产管理系统设计与实
流感病毒亚单位疫苗制备工艺的研究
高校数字化校园学生服务系统的设计
非成瘾性镇痛药盐酸曲马多的合成工
社区矫正信息管理系统设计与实现
甘氨酰谷氨酰胺的生产工艺优化研究
历下区知识经济型企业信息管理系统
氯吡格雷的合成工艺研究
住宅小区物业管理系统的设计与实现
氨苄西林钠溶媒结晶工艺研究
中海油服地应力分析系统设计与实现
硫熏对山药的内在质量影响及无硫护
注射用黄芪多糖的提取工艺改进
基于PHP和MySQL的网上购物系统设计
黄芪白术协同抗氧化成分的研究
天津市中小型企业内部培训服务管理
五味中药及复方总提物质量控制方法
基于.NET中小学运动会信息管理系统
咪达那新片处方工艺及质量标准研究
天津公安局档案馆档案管理系统的设
右兰索拉唑双重控释多单元肠溶片的
小型房地产企业工程建设档案管理系
5-氟尿嘧啶与他米巴罗汀前药的设计
平舆县信用社对公客户信贷管理系统
构建季碳手性中心反应机理及选择性
港华燃气公司客户信用管理系统的研
结肠靶向纳米载药微球的制备及其体
中小企业人力资源管理系统的设计与
R制药企业物流配送网络设施选址设计
仓库管理系统的设计与实现
酮基还原酶的克隆表达及其在手性合
基于本体知识的质量追溯系统的设计
重组人干扰素α2b生产中防止二聚体
青海销售公司资产管理信息系统的设
 
MISRA C论文 代码规则检测论文 词法分析论文 语法分析论文 检测算法论文
版权申明:目录由用户9806**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved