【摘 要】
：
静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoo
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）
【基金项目】
：
国家自然科学基金(61802168),江苏省自然科学基金(BK20191247)
论文部分内容阅读
静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等)进行高精度的静态分析,因其极大规模数据量的计算,仍有一定难度.精度、效率和可扩展性相互制约,是静态分析技术在工业界应用的主要障碍.对此,近年来,随着多核、众核架构的兴起,研究人员提出了静态分析的各种并行化解决方案.首先梳理了静态分析的发展历程,然后针对当前静态分析面临的挑战,在分析了传统算法优化研究的不足后,对利用硬件资源进行并
其他文献
翻译是一种文化行为，是一种重要的文化交流活动。一种文化把另一种文化的文本翻译过来。翻译的对象主要是原语文化中的语言和文体相对于目的语文化而言的差异．而翻译的目的在于
随着深度神经网络技术的快速发展、大数据的涌现和计算能力的显著提升,深度神经网络被越来越多地应用到各个安全攸关领域,例如自动驾驶、人脸识别、飞机碰撞检测等.传统的软件系统通常由开发人员手工编写代码实现其内部的决策逻辑,并依据相应的测试覆盖准则设计测试用例来测试系统代码.与传统的软件系统不同,深度学习定义了一种新的数据驱动的编程范式,开发人员仅编写代码来规定深度学习系统的网络结构,其内部逻辑则由训练过
写作测试是最科学有效的评估学习者语言能力的手段，也是语言测试中问题较多的领域。针对存在问题，可以从语言、认知和社会文化角度探讨写作的本质，认识写作过程的复杂性和书面语
针对机器人抓取不规则形状物体时,抓取位置难判别问题,提出一种基于物体边界3维点云法向量夹角和质心距相结合的机器人抓取控制方法,该方法建立基于双目标的综合抓取评价方法
桩基可能会因各种原因导致桩体发生倾斜,桩身的垂直度往往超过《建筑桩基技术规范》的允许值,如何确定这些倾斜程度并不很大的倾斜桩的承载力一直是工程实践中的难题。对天津
张拉整体机器人具有高的强度质量比、良好的减振性以及可变形能力,可以适应多种地形,且具有多种运动步态。为了实现机器人可以在多地形上运动,本文针对张拉机器人静态坡面展
针对磁悬浮球系统具有非线性、模型不确定性和易受干扰影响的特点,提出了一种基于扩张状态观测器(ESO)的连续滑模控制方法(CSMC)。该控制方法采用ESO对系统的扰动进行观测和
以信息、知识和经济全球化为特征的当今时代,国际间学术交流和合作办学日益频繁,改进教学方法、教育技术,提高教学水平和学生的综合素质,已成为培养高等院校"跨世纪人才"和"
美人梅属于蔷薇科梅属,为落叶灌木或小乔木,是杂交之后所产生的新品种。分析了美人梅的种植与管理技术及其形态特征和生理特征,并从品种选择、种植地选择、水肥管理、越冬管