作者:funnywei日期:2003.
12内容摘要–简介(Introduction)–相关工作(RelatedWork)–我们的模型(OurModel)–总结(Conclusion)Copyrightfunnywei2003简介–研究的必要性–C和C++语言仍然是开发的主要工具–缓冲区溢出攻击已成为主要攻击手段Copyrightfunnywei2003相关工作(RelatedWork)–静态检测(StaticDetection)–动态检测(DynamicDetection)主要分为动态和静态检测两种方法,其中静态检测工具主要针对源码做相应检测,而动态检测工具主要从对二进制程序运行时保护的角度出发.
Copyrightfunnywei2003静态检测工具–第一代:lint–第二代:Splint和LClint–第三代:Flowfinder,RATS,ITS4Copyrightfunnywei2003动态检测工具–FIST(FaultInjectionSecurityTool)–Libsafe和Libverify–StackShieldCopyrightfunnywei2003我们的检测模型–静态分析–动态分析和测试Copyrightfunnywei2003静态分析–目的:得到子过程调用的关系图,以便后续的分析.
每一个子过程作为图中的一个节点,同时不安全的函数也作为一个节点存在.
–方法:call和ret指令搜索编译器优化和特征码匹配缓冲区边界的定位–辅助:基于污点传播的双向数据流分析Copyrightfunnywei2003有向图举例:fun(char*arg){charsrc[100]={"Thisisatest"};strcpy(arg,src);printf("%s\n",arg);}main(){chardest[100];fun(dest);printf("%s\n",dest);}Copyrightfunnywei2003有向图节点记录–子函数的起始位置–函数所分配的堆栈大小–函数局部变量的使用情况–调用者传递给函数的参数–调用者调用本函数的地址(即函数调用的返回地址)Copyrightfunnywei2003call和ret指令搜索–采用深度优先或者广度优先的搜索算法.
Copyrightfunnywei2003编译器优化和特征码匹配–编译器对程序进行了优化以提高执行速度,有些函数(如strcpy,strcat)被硬编码到程序中.
GigsGigsCloud是一家成立于2015年老牌国外主机商,提供VPS主机和独立服务器租用,数据中心包括美国洛杉矶、中国香港、新加坡、马来西亚和日本等。商家VPS主机基于KVM架构,绝大部分系列产品中国访问速度不错,比如洛杉矶机房有CN2 GIA、AS9929及高防线路等。目前Los Angeles - SimpleCloud with Premium China DDOS Protectio...
RAKsmart 商家这几年还是在做事情的,虽然他们家顺带做的VPS主机并不是主营业务,毕竟当下的基础云服务器竞争过于激烈,他们家主营业务的独立服务器。包括在去年开始有新增多个数据中心独立服务器,包括有10G带宽的不限流量的独立服务器。当然,如果有需要便宜VPS主机的他们家也是有的,比如有最低月付1.99美元的美国VPS主机,而且可选安装Windows系统。这里商家有提供下面六款六月份的活动便宜V...
搬瓦工最近上线了一个新的荷兰机房,荷兰 EUNL_9 机房,这个 9 的编号感觉也挺随性的,之前的荷兰机房编号是 EUNL_3。这次荷兰新机房 EUNL_9 采用联通 AS9929 高端路线,三网都接入了 AS9929,对于联通用户来说是个好消息,又多了一个选择。对于其他用户可能还是 CN2 GIA 机房更合适一些。其实对于联通用户,这个荷兰机房也是比较远的,相比之下日本软银 JPOS_1 机房可...