【摘 要】
：
为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目(60673035);高等学校博士学科点专项科研基金资助项目(20092302110040)
论文部分内容阅读
为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态信息的不同,按GCC内部机制,提出了运行改入点与内部辅助函数重用相结合的提取方法,具体包括类型和函数声明信息的采集、函数体内程序语句的遍历以及多语言统一中间表示的获取,重用了GCC内部高质量代码,从而降低了构建静态信息提取所需的重复开销.通过对比试验表明该方法程序语言解析能力稳定健壮且效率高,能够直接提取大型开源程序的静态信息.
其他文献
<正> 现实社会中,婚姻的实现,往往受到人的年龄、民族、地域,风俗、宗教信仰和其它复杂的政治、经济因素的影响和制约。在我国人口的婚姻习俗中,年龄似乎占有举足轻重的地位
目的探讨如何做好检验医学和临床医学间的沟通,加强科室之间的配合,更好的提升医疗质量。方法通过检验科室与临床科室的相互学习与交流,相互理解和沟通,共同提高医学技术和服
目前学术界和相关部门对于我国地方财政风险的形成原因、传导机制和潜在危害已进行了大量的分析论证,但对于如何将政府债务规模控制在安全范围之内,防止地方财政风险的不断传
柳永与周邦彦是宋词史上两位很有特色的文学大家。通过对二人在文学创作上的艺术特征进行比较分析和探究可知,在词体形式上,二人虽均做出了不懈的开拓与努力,但柳词具有开创
目的:探讨ICU转出患者延续护理中存在的问题,并制定干预对策。方法:将268例ICU治疗后转出患者根据转出时间分为对照组130例(2011年1~12月)和研究组138例(2012年1~10月),对照
提问教学是小学教育中一种重要的综合性较强的教学方式，利用提问教学法可以让学生们在复习的同时更加熟练地在问题的解答过程中很好的运用知识点。因而教师在使用提问式教学法
呼吸机相关性肺炎(VAP)是在机械通气患者中最常见的感染;它与ICU死亡率、住院成本、住院时间的增加密切相关;近年来,集束化管理是预防VAP的有效方式,其中包括使用洗必泰进行
对缓冲区溢出攻击进行预防与检测的各类方法进行了综述,包括增强系统核心、静态分析技术、增强编译器和进行动态检测。
翻转课堂不同于传统课堂,强调员工的体验感受,突破了"学习只在课堂上"的传统培训范式,对提高培训效果有很大帮助,因此它在企业员工培训中发挥着不可或缺的作用。但作为一种舶
记者从山东省政府法制办获悉，为降低民用建筑能源消耗，提高能源利用效率，山东省拟出台《山东省民用建筑节能条例》，目前该条例草案送审稿开始公开征集意见。草案要求，省住房城乡建