- 博客(4)
- 资源 (8)
- 收藏
- 关注
转载 apache-2.4.2 编译安装方法
apache-2.2与新出的apache-2.4安装不同的地方在于,2.4版的已经不自带apr库,所以在安装apache-2.4之前,需要下载apr。1、下载软件cd /tmpwget http://mirrors.axint.net/apache//httpd/httpd-2.4.2.tar.gzwget http://mirrors.axint.net/apache//apr/
2013-11-30 21:20:03 1798
原创 s2e符号执行的切换-1
当符号化结束之后,在正常的二进制翻译执行的过程中,交替的进行具体执行和符号执行。如果检测到有符号化的值,便使用klee进行符号执行。具体过程可描述如下:executeTranslationBlock函数完成符号执行还是具体执行的判断。符号执行可能的情况:1、 state->m_startSymbexAtPC 被设置;这个主要是内存访问时被设置。2、 state-
2013-11-24 17:47:08 3022 1
原创 NuSMV学习
NuSMV1) 安装两种方式:一是直接下载二进制文件,可直接使用。二是下载源代码,编译安装。首先make编译cudd,如果是64位系统,需要将makefile替换为64位的。否则后面使用的时候会出错。然后到nusmv中进行confiure && make && make install。2)使用简单的使用,可直接运行NuSMV counte
2013-11-24 09:54:59 8715
原创 使用concolic解决crash时的输入约束问题
使用concolic解决crash时的输入约束问题 当产生了crash,能够找到导致crash的数据与输入数据的关系,对进行漏洞利用有着重要的意义。通过污点追踪的方式,例如temu,已经可以定位到导致crash的数据是由哪些输入所导致的。但简单的污点追踪无法给出导致crash数据与输入数据的具体约束关系。通过具体的约束关系,可以找出导致crash的数据的输入数据范围,从而可以使用多个输入
2013-11-23 11:35:46 1690
Application Security for the Android Platform(android 安全)
2012-10-12
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人