基于复杂控制流的源代码内存泄漏静态检测

来源 :计算机科学 | 被引量 : 0次 | 上传用户:G715893600
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
木麻黄(Casuarina equisetifolia J.R.Forst.&G.Forst.)木麻黄科(Casuarinaceae)木麻黄属(Casuari-na Adans.),乔木,高可达30 m,大树根部无萌蘖;树干通直,直径达70 cm;树冠狭
水稻有机栽培具有改良土壤理化性质、维护水资源、环境保护、废弃物再利用及适应大众消费需求等多重意义,现将目前应用于水稻有机栽培的可行技术分述如下,供农民朋友参考。  1.整地作业:  整地应力求平整,这有利于灌排水处理,并可利用淹水防治杂草发生。整地平整亦可确保秧苗成活率,避免造成补植时的成本浪费。  2.有机质肥料施用技术:  有机质肥料如果能够自行制造,是最符合经济成本,然而实际执行却不太容易。
目的了解2011年郴州市手足口病病原学特征及EV71型分离株基因特性,为郴州地区手足口病防治工作提供依据。方法收集郴州市手足口病临床诊断病例的咽拭子或肛拭子、粪便标本,采
系统介绍了松墨天牛的捕食性和寄生性天敌昆虫的种类、组成及其生防利用情况,重点阐述了管氏肿腿蜂、川硬皮肿腿蜂和花绒寄甲及几种具有开发应用潜力的天敌对松墨天牛的控制
期刊
稀疏矩阵向量乘SpMV在科学计算和工程问题中有着广泛的应用.稀疏矩阵的非零元素分布会极大地影响SpMV的计算效率,针对不同的数据分布模式使用特定算法进行加速可以获得显著的
Hot data identification is crucial for many applications though few investigations have examined the subject. All existing studies focus almost exclusively on f
目的 了解沈阳市艾滋病自愿咨询检测(VCT)人群的社会人口统计学特征和艾滋病病毒感染情况,有针对性地制定健康教育干预计划,为开展艾滋病的防治工作提供科学依据. 方法 对沈
随着床边摄片的普及 ,迫切需要解决工作人员的防护问题 ,现有的医院操作人员穿上了防辐射的工作服 ,有的接长了曝光开关的连接线。我们认为这样既麻烦 ,又不能完全避免X线的