随着信息技术的发展,计算机软件逐渐成为人们生活中必不可少的一部分,然而计算机软件中不可避免地存在着程序错误,这些错误可能导......

正确并高效地进行补丁验证对提高软件质量及程序员生产效率至关重要。使用静态分析的方法可以在程序不执行的情况下检测出程序中可......

随着近年来移动设备的应用越来越广泛,对其中存储的隐私数据的保护也越来越重要。应用程序行为审计方法能找出应用程序中的敏感信......

对称多处理器的飞速发展和近年来提出的动态异构处理器（DHMP）为性能优化提供了新的机遇.一个机遇是找出程序每个阶段的性能瓶颈,提出......

空指针解引用是C/C＋＋程序中常见的一类程序错误,它可让攻击者旁路安全机制或窥探操作系统敏感信息,一直是计算机安全领域的重要研究......

当前,隐私数据保护是信息系统安全的重要研究挑战,对应用程序进行隐私泄露检测是隐私泄露保护的有效方案.污点分析技术可以有效地......

软件的静态程序分析是确保软件安全可靠的一种有效手段。常见的形式化的静态分析工具一般是基于模型检测,定理证明或抽象解释理论......

静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

移动应用作为移动互联网行业发展过程中的一个重要角色,被诸多的行业所采用。其中,Android应用程序极为普及,由此衍生而来的安全问......

随着计算机技术高速普及和发展,大量的计算机应用正在越来越深入地影响着人们的工作生活,也带来了日益严重和广泛的安全问题及隐患......

随着计算机技术的快速发展和普及,软件系统已经成为这个社会不可缺少的一部分。与此同时,软件质量的问题也日益突出,特别的,对于用......

随着以GPGPU为基础的异构计算架构在云计算、大数据以及深度学习等各个领域的广泛应用,以及GPU架构的不断发展,GPU核心数量不断增......