本文针对C／C++程序中资源泄漏安全漏洞的静态检查进行了研究。为了达到查找C／C++程序中的安全漏洞，提高软件安全性的目的，本文设计并实......

本文介绍了作者在跨函数分析研究方面所做的工作,包括跨函数分析技术的设计与实现以及对现有DTSJava(Defect Testing System for J......

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......