一种基于控制流的污点分析方法

来源 :绵阳师范学院学报 | 被引量 : 0次 | 上传用户：lzltgp

【摘要】

：

污点分析是网络安全中的重要领域,将静态分析应用于动态污点分析,提出一种基于控制流图（CFG）的控制流污点传播方法 .污点分析在遇到分支时,结合静态信息（如CFG和支配结点）将谓词

【作者】

：

代伟刘洪

【机构】

：

内江师范学院计算机科学学院,四川大学计算机学院

【出处】

：

绵阳师范学院学报

【发表日期】

：

2018年8期

【关键词】

：

污点分析静态分析控制流图分支 taint analysis static analysis CFG branch

【基金项目】

：

国家自然科学基金（71573184）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

污点分析是网络安全中的重要领域,将静态分析应用于动态污点分析,提出一种基于控制流图（CFG）的控制流污点传播方法 .污点分析在遇到分支时,结合静态信息（如CFG和支配结点）将谓词的污点标记传播到分支块;并提出优化算法加强效率.本文实现了基于二进制代码的原形系统,并对真实程序进行了测试,实验结果表明该方法能有效传播谓词的污点到分支路径.

其他文献

基于模糊分类的模糊神经网络辨识方法及应用

基于改进的T-S模型,提出一种自适应模糊神经网络模型(AFNN),给出了网络的连接结构和学习算法.基于竞争学习算法的模糊分类器确定系统的模糊空间和模糊规则数,并得出每个样本

期刊

辨识方法模糊神经网络模型卡尔曼滤波算法连续搅拌反应器复杂非线性系统应用竞争学习算法复杂系统建模在线辨识T-S模型模糊分类器连接结构模糊规

NGH型电梯控制主板检测系统的实现

介绍了对基于CPU32微处理器(MC68376)为主芯片的NGH型电梯控制主板检测系统的实现,从需求分析、检测系统的硬件选型和软件编程方面进行了详细论述.此系统能在实验室研发阶段

期刊

NGH型电梯控制主板检测系统微处理器电梯信号控制系统微机MC68376 LABVIEW CAN bus serial communication

莫高窟第409窟回鹘可汗可敦供养画像阐释——以汉文化因素探析为中心

沙州回鹘洞窟共有23个,其中有22个洞窟是在前代基础上重绘,莫高窟第409窟是23个沙州回鹘洞窟中唯一一个整窟重绘且绘有可汗可敦供养画像的洞窟,其重要性可见一斑。莫高窟第40

期刊

莫高窟第409窟沙州回鹘供养人沙州镇国王子

公路科技档案的开发利用

公路科技档案是公路系统各级组织从事公路勘测设计，技术研究、施工、养护等活动直接形成的具有保存价值的各种文件、报表、图纸、照片和录像带等不同载体的历史记录，是公路部门

期刊

公路系统科技档案开发利用历史记录文化财富勘测设计保存价值公路部门

电阻层析成像并行数据采集系统的性能分析

电阻层析成像是一种新型的截面信息检测技术,在工业过程的测量与监控中有广泛的应用前景。针对电阻层析成像技术在快速变化过程中的实时性问题,设计了电阻层析成像系统的并行数据采集方案,并对系统的动态性能与实时性进行分析,对耗时环节进行了优化设计,提高了系统数据采集速度的实时性。

期刊

电阻层析成像并行数据采集系统实时性乘法解调低通滤波electrical resistance tomographyparallel data ac

具有未知输入干扰的补偿控制

针对系统存在干扰波形已知但干扰幅值未知或幅值无界的一类外界干扰,提出了一种实现干扰补偿的控制策略,并给出了具体的设计过程。通过对原系统构造一个新的系统输出并为其设计状态观测器,进而实现对状态和干扰的同时估计。此外,并将干扰的估计信息引入到控制律当中,从而实现系统对外界干扰的补偿控制,保证系统状态有界。仿真结果验证了这一控制方法的有效性。

期刊

补偿控制观测器未知干扰波形已知compensation control observer unknown disturbance known di

浅谈行业档案信息资源的开发利用

随着社会主义市场经济的不断完善和行业信息化建设的发展，档案信息资源的开发利用已越来越被人们所重视。档案作为行业企业搜集、整理、加工、存贮和提供资源开发利用和信息服

期刊

档案信息资源资源开发利用行业企业社会主义市场经济信息服务机构信息化建设社会发展搜集

移动机器人数学模型近似线性化及反馈镇定

研究了非线性控制理论中的近似线性化方法在移动机器人控制上的应用问题.针对机器人控制领域中多输入多输出(MIMO)仿射非线性系统,研究了一种基于平衡流形的近似线性化算法,

期刊

近似线性化平衡流形状态反馈镇定机器人approximate linearization equilibrium manifoldstate feed

腹腔镜胆囊切除术1096例麻醉处理

期刊