2013年11月_valiant1ster

12月 11月

转载 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