一种基于流分析的源码检测工具



一种基于流分析的源码检测工具

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

一种基于流分析的源码检测工具

论文目录
摘要	第1-6页
Abstract	第6-11页
第1章绪论	第11-16页
· 课题研究的目的和意义	第11-12页
· 国内外发展的现状和前景	第12-14页
· 本文主要研究内容	第14-15页
· 本文的章节安排	第15-16页
第2章源代码缺陷静态分析	第16-24页
· ANTLR 简介	第16-20页
· 词法分析器（lexer）	第16-17页
· 语法分析器(parser)	第17页
· 词法和语法分析	第17-20页
· 程序的静态分析	第20-22页
· 程序的静态分析方法	第20-21页
· 程序静态分析工具的组成	第21页
· 评价程序静态检测工具的标准	第21-22页
· 系统中的相关定义	第22页
· Python 静态检测工具的功能	第22-23页
· 本章小结	第23-24页
第3章编译前端和 CFG 模块设计	第24-39页
· 实现原理	第24-25页
· 编译前端子模块	第25-32页
· 编译前端的基本框架	第25-26页
· 从正则表达式到 DFA	第26页
· 词法分析	第26-29页
· 语法分析	第29-32页
· 控制流图（CFG）的构建	第32-38页
· 三地址码转换	第33-34页
· 构建基本的语句块	第34-35页
· 控制流图的生成	第35-38页
· 本章小结	第38-39页
第4章缺陷检测	第39-51页
· 污点传播	第39-43页
· 污点传播分析过程	第40-41页
· 污点传播分析规则	第41-42页
· 污点分析的基本算法	第42-43页
· 污点分析中类之间的关系	第43-45页
· 路径敏感遍历	第45-46页
· 过程间分析	第46-47页
· 过程间分析基本算法	第46-47页
· 实参和形参处理	第47页
· 函数摘要	第47-50页
· 别名处理	第48-49页
· 处理返回值	第49-50页
· 其他模块	第50页
· 本章小结	第50-51页
第5章实验与测试	第51-56页
· 开发和运行环境	第51页
· 接口设计	第51-52页
· 用户接口	第51-52页
· 硬件接口	第52页
· 测试要求	第52-53页
· 功能测试	第52页
· 性能测试	第52-53页
· 实验步骤和结果分析	第53-55页
· 本章小结	第55-56页
第6章总结	第56-58页
· 工作总结	第56-57页
· 展望	第57-58页
参考文献	第58-60页
致谢	第60页

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

更多论文
一种基于流分析的源码检测工具
某企业仓储管理信息化系统的设计与
基于多维矢量矩阵的MVC研究
加油站管理系统的设计与实现
家电以旧换新信息管理系统的设计与
基于BAAN的条码系统的设计与实现
学生网上选课系统的设计与实现
教学设备管理系统开发
油田工程事故管理系统的研究与实现
基于WEB的社会保险管理模块的设计与
请销假管理系统的设计与实现
兽药监管系统的设计与实现
电气操作票管理系统的设计与实现
基于数据仓库的用电营销综合分析系
高职院校网络教学平台的设计与实现
辽阳市农副产品质量安全信息网的设
医院专家预约坐诊系统的设计与实现
企业人事信息管理系统
吉林省电视台电视购物网站的设计及
数字图像水印算法及鲁棒性研究
农村信息连锁互动网网上商城的设计
基于视频图像的瞳孔精确定位方法研
基于移动机器人平台的目标识别算法
掌纹图像的定位分割与分级主线特征
基于双目立体视觉的三维重建
银行业绩考核数据管理系统的设计与
物资采购分配系统
企业订单管理系统的设计与实现
基于Android的智能医疗管理软件设计
基于医院协同办公系统的研究与设计
基于Log Gabor变换与BP神经网络的人
医疗保险管理系统的研究与实现
乌鲁木齐电视台硬盘播出软件系统的
呼伦贝尔学院物理系资料室图书管理
基于富客户端的Web IM通讯系统的设
工单管理系统的设计与实现
大庆油田计算中心综合管理系统设计
液化气生产销售信息管理系统的设计
医院设备信息管理系统设计
基于密度与模糊集的XML文档聚类
决策支持管控系统设计与实现
基于java的web邮件系统的设计与实现
代理商渠道管理系统的设计与实现
基于纠删码与HDFS的云文件系统
盘锦市委电子政务环境中公文流转系
基于MFC框架的网络对战游戏的设计与
基于RFID的人脸检视认证与播报系统
商业银行企业全球现金管理系统的设
银行分支机构管理系统
快速高效挖掘最大化频繁子树的研究
基于WordNet的多策略本体映射
基于二维图像的计算机三维建模方法
一种基于遗传算法的SPARQL静态查询
基于动态图的软件水印研究
呼伦贝尔东山国际机场证卡制作系统
服务类销售系统的设计和实现
哈尔滨烟叶公司收购加工数据管理系
软件自动化测试研究及在网银系统的
现代农村商品流通信息网络的研究与
异步通信技术的环境监测软件系统的
大庆油田传输网资源管理及调度的设
网络客户端数据库访问模块的多线程
某商业银行会计核算系统架构迁移升

缺陷检测论文静态分析论文污点分析论文净化处理论文
版权申明：目录由用户郭云**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved