上下文敏感相关论文
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于......
C、C++等低级别编程语言具有运行高效、扩展灵活等优点,现有的很多计算机程序,尤其是对性能要求较高的程序都是使用该类型语言编写......
指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通......
针对非约束环境下,受姿态、遮挡、尺度变化等因素的影响,密集、分辨率较低的人脸难以检测问题,提出了一种上下文敏感的多尺度人脸......
该文详细介绍了一个上下文敏感的过程间指针分析算法,这一算法很好地解决了以上几个问题,这是迄今为止对指针分析算法的一个最完整......
随着计算能力和通信能力的增强，计算设备所占用的体积也越来越小，各种新形态的传感器、移动设备及无线网络设备日趋普及。这极大地促......
近年来，随着移动计算技术和无线通讯技术的快速发展，移动学习作为一种新型的学习模式应运而生。这种能够在任何地点和任何时间利用手......
UML类图是软件建模中最常用的图形化表示之一。类间二元关系是UML类图中的重要组成部分，它包括关联、聚合、组合关系等。鉴于UML在......
代码重用攻击技术的持续发展给进程执行的控制流保护带来了新的挑战和威胁。CFI(控制流完整性)是防御代码重用攻击的一种理想技术,......
随着计算机硬件的迅速发展,系统对软件的要求也越来越高,并发程序的应用越来越广泛。并发程序更好地发挥了多核处理器的性能优势,......
随着RFID和传感器网络技术的发展,物联网已经从具体的概念转变成了实际的应用。近年,物联网的应用也越来越广泛。物联网广泛应用于......
本文对交通信息服务的可信性问题进行了研究与分析.针对交通服务缺乏可信性内涵分析与验证方法的问题,提出一种服务的可信性质计算......
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的......
锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的......
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用......
利用包含约束的指针分析法构建局部约束图，以过程调用图为基础，将局部约束图替换过程调用结点来构建全局约束图，并对全局约束图进行相......
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分......
企业信息系统建设完成后，在用户使用过程中及时提供方便快捷的帮助是提高系统使用效率，降低系统运维难度的重要手段。本文结合企业信......
文中提出了一种跨过程指针别名分析的框架，研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信......
指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,......
误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,......
提出保障程序可信性的指针分析基础架构,为上层提供通用和丰富的接口及数据信息,不仅能够完成高效精确的指针分析,同时还为上层软......
IBM最新的客户/服务器应用程序开发工具VisualAge Team-forWindows 2.0(4995美元)将Visual-Age Team for OS/2扩展至Windows领域。......
总结分析了典型的地球空间信息上下文,基于本体建立了面向地球空间信息服务形式化的上下文信息模型,该模型采用层次化的设计方法,......
协同过滤系统是电子商务最重要的技术之一，用户相似度算法的优劣直接决定推荐性能的准确程度。现有推荐方法忽略用户上下文特征，因而......
提出并实现了一种基于贝叶斯网络的主观信任管理方案．显式地加入上下文信息，并使用统计学方法推算上下文对实体行为的影响因子，使之比......
空间信息服务复杂多样,如何针对用户实时的空间上下文智能推送合适的服务是一个亟待解决的问题。本文总结了地球空间信息的上下文......
近年来,目标检测算法日新月异,然而由于小尺寸目标本身存在的一些固有特征(譬如物理尺寸小、边缘信息模糊等),而因此造成小目标检......
空间信息服务复杂多样,如何针对用户的实时空间上下文智能推送合适的服务是一个亟待解决的问题。本文总结了地球空间信息的上下文......
过程间并发程序分析问题是一个不可判定问题，理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造......
为了更准确地反映出开放式网络环境下实体行为的不确定性和动态性，提出一种基于贝叶斯网络的信任管理方案．该方案显式地加入了上下文......
提出一种基于属性模型的运行时错误静态分析方法．该方法将运行时的错误按照发生原因进行分类，提取每类错误的属性模式，对属性模式进行......
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提......
为了适应日益增长的视频分析及其相关应用的需求,基于深度学习的时序动作检测方法受到了越来越多的关注。本文以目标检测理论框架......
提出了一个基于模糊理论的服务自适应模型。完整地形式化了服务自适应选择过程，使用模糊语言变量和隶属度方程定义了上下文状态和服......
针对现有的多文档自动摘要生成方法中存在的问题，提出一种多文档自动摘要生成方法，该方法能够最大限度地减小摘要内容的冗余。选取权......
随着计算机和Internet技术的飞速发展,信息资源的共享程度进一步加强,但是随着社会网络化程度的增加,开放式网络体系的安全性隐患......
软件代码中的缺陷是导致软件故障和漏洞问题的主要原因。基于缺陷的软件测试技术可以分为动态检测技术和静态检测技术。静态检测技......
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序......
为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采......
指针分析是近年来国际上编译技术领域中的一个研究热点。C语言程序中指针的广泛使用严重地影响了数据流分析的精确程度，从而严重地......
在互联网通信和全球云计算的大力发展环境下,Java语言连续数年稳居于TIOBE世界编程语言排行榜首位,并保持有着广阔的前景和显著的......
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息。本文设计并实现了一种上下文敏感的基于约束的Java程序指向分......
静态分析方法广泛应用于检测Android应用是否存在隐私泄露，以(Source, Sink)对形式给出潜在漏洞，但是会产生许多虚警。提出一种上下......
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用......
