自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(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

The Browser Hacker's Handbook-2014

系统的讲述关于浏览器的攻击方法技术,2014年出版。

2014-08-07

stuxnet(震网)的详细分析

stuxnet(震网)的详细分析文档,详细分析了stuxnet的每个阶段。

2013-06-12

MPI用户手册

MPI用户手册,包括MPI基本操作基本知识。

2012-11-07

Application Security for the Android Platform(android 安全)

Application Security for the Android Platform

2012-10-12

FAT16文件系统说明及代码

FAT16文件系统说明及代码.本文件是嵌入式FAT文件系统的说明书,嵌入式FAT文件系统的开发和使用人员都可通过阅读该文件,以掌握和使用文件系统。

2011-04-27

Kartoffe 内核漏洞审计工具

内核漏洞审计工具 强大的驱动漏洞审计工具,可以发现驱动存在的各种溢出漏洞。

2010-07-11

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除