upkevin的博客_BAP研究

STP实验截图

最近一直研究Vine，也就是BAP的前身，源代码读了不少，但感觉收获甚少，惭愧惭愧。昨日开始研究STP求解的问题，没想到一个简单单的路径判断，STP也不能顺利解决。哎。只好手动解决。下图是实验中用到的最简单STP化简求解成功后的实验截图。纪念一下，加油！！！求解出相同约束条件下，不同平台生成的例子。

的

源代码

是

原创 2012-05-24 21:55:28 873 阅读 1点赞 1评论

VINE

1、按照安装脚本正确安装好VINE需要的软件环境后，在make时，遇到错误 q: /usr/include/libiberty.h:106: error: new declaration ‘char* basename(const char*) 2、原因：vine是基于ubuntu 9.04版本开发的，在高于9.04版本的ubuntu上开发，需要d对libasmir/src/dis

职场

休闲

temu vine

原创 2012-03-02 13:22:03 497 阅读

temu问题之xp sp3 下不生成trace文件

1、安装完TEMU，在xp sp3下无法生成trace文件，百思不得其解。google一下。 Stop tracing process 864 Number of instructions decoded: 1064541 Number of operands decoded: 2518508 Number of instructions written to trace: 0 Numb

职场

休闲

temu trace文件

原创 2012-03-02 11:05:34 408 阅读

kqemu安装之过程

1、此处选择的是kqemu-1.3Operll，在安装的过程中，使用过多个系统，发现一些规律，ubuntu的版本不能太高，至少2.6..39.5就不能满足。kqemu must s 2、kqemu1.4和qume的版本也不匹配。 $tar xvf kqemu-1.3.0pre11.tar.gz &nb

职场

休闲

kqemu 问题

原创 2012-02-29 15:43:51 1296 阅读

QEMU使用之参数解析

熟悉掌握QEMU的参数作用，是灵活应用此工具进行研究的第一步，现将参数功能总结如下： -L dir 指向BIOS和VGA BIOS所在目录　　 -hda/-hdb/-hdd/-hdc “文件名” 使用“文件名”作为硬盘0/1/2/3镜像。　　 -cdrom “文件名&rdquo

职场

休闲

QEMU 参数功能

原创 2012-02-27 21:55:58 1869 阅读

gcc 3.4.1编译之函数参数错误

今日方向转移，攻击bitblaze平台，此平台必须采用.3.4版本，遇到gcc 3.4.1安装下第一个错误，open函数参数不够，在gcc文件夹中找到collet2.c中的open函数添加第三个参数0777,

职场

编译

休闲

gcc 3.4.1

函数参数错误

原创 2012-02-27 19:22:18 564 阅读

汇编指令之shl

shl为汇编中的逻辑左移，shr为逻辑右移，此函数将二进制数字依次向左/右移动到CF，同时另一个方向补上0，所以对CF寄存器的影响是明显的。

职场

休闲

shl CF

原创 2012-02-26 20:21:40 1881 阅读

TRACE文件分析

BAP可以分别对PIN和TEMU等生成的TRACE文件进行分析。前一篇文章对PIN生成的TRACE文件做了简单的介绍，这一篇理清下对TEMU等动态分析工具生成TRACE文件的认识。 1、文件头（TraceHeader） &n

职场

休闲

temu trace

原创 2012-02-26 09:48:29 1007 阅读

PIN文件之TRACE文件分析

理清PIN工具产生的trace文件格式，是BAP下给予PIN进行分析的基础，但网上资料较少，今日研究BAP源代码时，发现一些基本知识，总结如下： 1、PIN生成的trace文件包含一个trace头，接下来是一些列的帧。 &n

职场

休闲

PIN TRACE

原创 2012-02-25 14:06:51 1511 阅读 1点赞 1评论

BAP研究之bap_block_s

1、轨迹文件提交给分析程序，分析程序会返回一个结构bap_block_s,弄清楚这个结构对了解程序的转换有着重要的作用，现在总结如下。 struct bap_block_s { bfd_vma inst; //存放指令在内存

职场

休闲

BAP bap_blocks

原创 2012-02-16 16:20:27 963 阅读

词法分析与语法分析简介

1、词法分析　词法分析（英语：lexical analysis）是计算机科学中将字符序列转换为单词（Token）序列的过程。进行语法分析的程序或者函数叫作词法分析器（Lexical analyzer，简称Lexer），也叫扫描器（Scanner）。词法分析器一般以函数的形式存在，供语法分析器调用。　　词法分析阶段是编译过程的第一个阶段，是编译的基础。这个阶段的任务是从左到右一个字符一个字符地

职场

休闲

词法分析

原创 2012-02-15 14:57:39 2258 阅读 1评论

内存

接口

应用程序

如何

库里

转载精选 2012-02-14 11:40:45 1479 阅读

OCaml语言开发(2)

1、空格 space、换行、横向制表、carriage return, line feed and form feed等被认为是空格。空格操作不考虑。做为分割符号来使用。 2、注释（* *）,在这两个符号之间引入注释。注释对编译器而言，被当作空格来使用。 3、标示符。标示符由字母、数字、下划线和单引号构成，由字母或者下划线开始。

标签

编译器

单引号

双引号

标示

原创 2012-02-13 14:51:45 971 阅读

OCaml语言开发(1)

由于项目需要，需要研究OCaml语言，一时无从小时，自网上拜读几位前辈的心得后，有一些了解。现在总结如下： OCaml是一种函数式编程语言，是一种面向对象的ML语言。不同于结构性语言。其函数可以当作具体的值来使用；使用变量时，无需定义变量的类型，编译

项目

开发

编译器

休闲

网上

原创 2012-02-12 21:24:38 3185 阅读

BAP常用名词解释

1、BAP（二进制分析平台）是David Brumley等人开发的一个二进制开发平台。具备将二进制文件（含轨迹文件）提升为中间语言，然后根据需要进行分析的功能。 2、SSA（单静态赋值），BAP支持的一种语言表示形式，在SSA表示的语言中，所有的变量均只被定义一次，这就简化了分析的难度。 &nb

职场

休闲

BAP 名词

原创 2012-01-11 14:56:34 1667 阅读

官方博客	全部文章	热门标签	班级博客
了解我们	网站地图	意见反馈

鸿蒙开发者社区	51CTO学堂
51CTO	软考资讯

51CTO博客

毕兹卡的男人