过程间分析

作品数：17被引量：24H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：章磊刘强董燕陈睿吴瑾更多>>
相关机构：国防科学技术大学中国科学院清华大学中国科学技术大学更多>>
相关期刊：《软件学报》《计算机工程与设计》《高性能计算技术》《计算机工程与应用》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
过程间流敏感的指针分析技术研究
《计算机科学》2023年第12期1-13,共13页帅东昕 葛丽丽 谢金言 张迎周 薛渝川 杨嘉毅 密杰 卢跃 
指针分析技术是一种基础的静态程序分析技术,也是软件安全方向的研究热点之一,在软件缺陷检测、恶意代码分析、程序验证、编译器优化等应用场景中发挥着重要的作用,指针分析的精度在这些应用场景中至关重要。流敏感分析和过程间分析是...
关键词：指针分析 流敏感分析 过程间分析 精度优化 调用上下文 
基于抽象解释的函数内联过程间分析优化方法被引量：2
《软件学报》2022年第8期2964-2979,共16页陈涛清 范广生 尹帮虎 陈立前 王戟 
国家自然科学基金(62032024,61872445,62102432);湖南省自然科学基金(2021JJ40697)。
分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后...
关键词：过程间分析 抽象解释 函数内联 变量消除 降维 
面向顺序存储结构的数据流分析被引量：5
《软件学报》2020年第5期1276-1293,共18页王淑栋 尹文静 董玉坤 张莉 刘浩 
中央高校基本科研业务费专项资金(19CX02028A);国家自然科学基金(61873281)。
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生...
关键词：顺序存储结构 数据流分析 抽象内存模型 过程间分析 内存泄漏 
自动分析递归数据结构的归纳性质被引量：2
《软件学报》2018年第6期1527-1543,共17页汤震浩 李彬 翟娟 赵建华 
国家重点研发计划(2016YFB1000802);国家自然科学基金(61632015;61561146394)~~
提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称...
关键词：霍尔式程序证明 程序分析 递归数据结构 归纳性质 过程间分析 
LLVM中静态程序信息的过程间分析方法被引量：1
《计算机工程与设计》2018年第6期1610-1618,共9页莫培弘 衷璐洁 
国家自然科学基金项目(61402303);北京市教委科技面上基金项目(KM201510028016)
为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息的过程间分析方法。利用过程内分析算法迭代获取过程内分析路径;利用过程间分析算法分析直接函数调用和函...
关键词：底层虚拟机 静态分析 过程间 过程内 函数指针 
一种源码级的上下文敏感性检测算法
《计算机应用研究》2017年第5期1388-1392,共5页单征 王洋 孟曦 闫丽景 
国家自然科学基金资助项目(61472447)
上下文敏感性是程序分析中的一个重要属性,可用来提高函数调用上下文的分析精度,且有利于编译器优化及程序验证。基于Open64开源高性能编译器,实现了一种源代码级上下文敏感性检测算法。通过给出上下文敏感性的分析结果,指导有源代码的...
关键词：行为建模 函数调用图 上下文敏感性 过程间分析 
应用过程间分析技术的并行错误模式匹配方法
《西北工业大学学报》2017年第1期148-153,共6页郑炜 蔺军 黄月明 冯晨 吴潇雪 
国家自然科学基金(61402370);中央高校基本科研业务费专项资金资助
过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此,文章试图运用过程间分析技术对并行程序进行"错...
关键词：并行程序 静态测试 过程间分析 错误模式 错误检测 
基于过程间分析的缓冲区溢出易发点检测被引量：2
《计算机工程与应用》2016年第15期110-113,共4页邹雪 王兴起 方景龙 王大全 
国家部委基础科研重点项目;国家部委技术基础科研项目
针对循环拷贝内存引发的缓冲区溢出漏洞,提出了一种上下文相关的过程间分析检测模型,通过对二进制代码进行一系列的静态分析,使用过程间分析提供的数据交互关系,对缓冲区溢出易发点进行挖掘。这种检测模型基于Bin Navi的开放平台,以插...
关键词：缓冲区溢出 循环 易发点 过程间分析 函数摘要 
基于符号执行的能耗错误检测方法被引量：2
《电子学报》2016年第5期1040-1050,共11页徐超 陈勇 葛红美 何炎祥 
国家自然科学基金(No.61170022);江苏省高校自然科学研究面上项目(No.15KJB520019);江苏省"六大人才"高峰项目资助;江苏省高校"青蓝工程"优秀青年骨干教师培养对象资助;江苏高校优势学科建设工程资助项目
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类...
关键词：能耗错误 符号执行 错误检测 过程内分析 过程间分析 
面向软错误的寄存器活跃区间分析被引量：1
《小型微型计算机系统》2012年第1期83-89,共7页徐建军 谭庆平 叶俊 
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方...
关键词：软错误 寄存器 程序可靠性 数据流分析 过程间分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部