基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

阴极保护系统调试过程的典型问题分析

阴极保护系统是为使埋地金属构件免受电化学腐蚀而采取的辅助保护方法之一,目前广泛应用于埋地管道、金属构件的桥梁、码头、港口等。由于施工条件受限,很多阴极保护系统在施工时无法满足设计,因此常常出现各类问题,以至于阴极保护系统无法正常投入运行。针对阴极保护系统调试运行中所遇到的各类问题,本文做了详细的阐述和分析,并结合调试中遇到的实例,从电化学、电学等基本原理入手,分析问题的根源,提出合理的解决方案,在工程实际应用中有一定的实用推荐价值。     

光纤网络连接技术分析

通讯线路的标准以及性能指标在不断地提高,目前光纤产品和铜缆产品一样都有了许多的选择余地。那么,最终用户应该怎么样才能做出明智的决策呢？     

黄缘闭壳龟幼龟生长规律研究

采用常温养殖和控温养殖两种方法研究了黄缘闭壳龟幼龟的生长规律.实验结果表明:180 d后,常温养殖幼龟体质量平均增长54.27 g,体质量相对增长率为115.89%;控温养殖幼龟体质量平均增长72.88g,体质量相对增长率为157.95%.控温养殖幼龟均体质量是常温养殖的1.34倍,生长速率明显高于常温养殖.常温养殖幼龟5月份生长率缓慢,10月份呈负增长,快速生长期为6—9月份;控温养殖幼龟5月份生长率较快,10月份生长率缓慢,快速生长期为5—9月份,控温养殖使幼龟生长期延长约30 d.两种养殖方式,体质量、背甲长、腹甲长、体厚与日龄均呈正相关,同时体质量与背甲长、腹甲长及体厚也呈正相关,相关系数r>r0.01(P<0.001),相关性极其显著.     

微生物制剂在淡水养殖中的应用及前景

报道了活体微生物、微生物代谢产物、疫苗等微生物制剂在淡水养殖中的应用,从水质调节、疾病防治,作为饲料和饲料添加剂等几个方面探讨了微生物制剂在淡水养殖中的应用前景.     

南水北调中线工程渠首水源地及干渠沿线生态走廊构建

南阳是南水北调中线工程渠首所在地和重要水源区,是点(渠首)、线(干渠)、面(水库)的核心区域和唯一结合部,是水源地最后一道生态屏障和水源保护最为敏感的区域.对渠首水源地自然、经济资源进行分析,提出构建渠首水源地及干渠沿线生态走廊建设的总体布局和功能分区,并详细论述建设的重点.     

微生物制剂的淡水养殖中的应用及前景

报道了活体微生物、微生物代谢产物、疫苗等微生物制剂在淡水养殖中的应用，从水质调节、疾病防治，作为饲料和饲料添加剂等几个方面探讨了微生物制剂在淡水养殖中的应用前景。     

复合微生物对制药厂废水的净化作用

利用3种微生物及其复合微生物制剂对5组制药废水进行处理.在20 L制药污废水中分别加入1.2 L光合细菌(7.8×1010cell·L-1)、枯草芽孢杆菌(8×108cell·L-1)、反硝化细菌(7.8×109cell·L-1)和它们的复合制剂(三种微生物各0.4 L)进行处理,时间为14 d.实验结果表明:复合微生物处理效果远高于单一微生物处理.经过复合细菌处理的制药污废水中TN下降92.5%,CODcr下降79.5%,色度降低了74.5%,pH值下降了2.5.结果显示复合微生物对制药污废水有明显的净化作用.