啊呗虹's Blog

详见链接

http://www.cnblogs.com/glaivelee/archive/2009/10/07/1578737.html

转自http://hi.baidu.com/jiang_yy_jiang/item/e90c75f899332d1da62988ac

对一组文件中的每一个文件执行某个特定命令。

FOR %variable IN (set) DO command [command-parameters]

%variable 指定一个单一字母可替换的参数。
(set)      指定一个或一组文件。可以使用通配符。
command    指定对每个文件执行的命令。
command-parameters
             为特定命令指定参数或命令行开关。

在批处理程序中使用 FOR 命令时，指定变量请使用 %%variable
而不要用 %variable。变量名称是区分大小写的，所以 %i 不同于 %I.

如果启用命令扩展，则会支持下列 FOR 命令的其他格式:

FOR /D %variable IN (set) DO command [command-parameters]

如果集中包含通配符，则指定与目录名匹配，而不与文件名匹配。

FOR /R [[drive:]path] %variable IN (set) DO command [command-parameters]

    检查以 [drive:]path 为根的目录树，指向每个目录中的 FOR 语句。
    如果在 /R 后没有指定目录规范，则使用当前目录。如果集仅为一个单点(.)字符，
    则枚举该目录树。

FOR /L %variable IN (start,step,end) DO command [command-parameters]

该集表示以增量形式从开始到结束的一个数字序列。因此，(1,1,5)将产生序列
1 2 3 4 5，(5,-1,1)将产生序列(5 4 3 2 1)

FOR /F ["options"] %variable IN (file-set) DO command [command-parameters]
FOR /F ["options"] %variable IN ("string") DO command [command-parameters]
FOR /F ["options"] %variable IN ('command') DO command [command-parameters]

或者，如果有 usebackq 选项:

FOR /F ["options"] %variable IN (file-set) DO command [command-parameters]
FOR /F ["options"] %variable IN ("string") DO command [command-parameters]
FOR /F ["options"] %variable IN ('command') DO command [command-parameters]

    fileset 为一个或多个文件名。继续到 fileset 中的下一个文件之前，
    每份文件都被打开、读取并经过处理。处理包括读取文件，将其分成一行行的文字，
    然后将每行解析成零或更多的符号。然后用已找到的符号字符串变量值调用 For 循环
。
    以默认方式，/F 通过每个文件的每一行中分开的第一个空白符号。跳过空白行。
    您可通过指定可选 "options" 参数替代默认解析操作。这个带引号的字符串包括一个
    或多个指定不同解析选项的关键字。这些关键字为:

        eol=c           - 指一个行注释字符的结尾(就一个)
        skip=n          - 指在文件开始时忽略的行数。
        delims=xxx      - 指分隔符集。这个替换了空格和跳格键的
                          默认分隔符集。
        tokens=x,y,m-n - 指每行的哪一个符号被传递到每个迭代
                          的 for 本身。这会导致额外变量名称的分配。m-n
                          格式为一个范围。通过 nth 符号指定 mth。如果
                          符号字符串中的最后一个字符星号，
                          那么额外的变量将在最后一个符号解析之后
                          分配并接受行的保留文本。
        usebackq        - 指定新语法已在下类情况中使用:
                          在作为命令执行一个后引号的字符串并且一个单
                          引号字符为文字字符串命令并允许在 file-set
                          中使用双引号扩起文件名称。

某些范例可能有助:

FOR /F "eol=; tokens=2,3* delims=, " %i in (myfile.txt) do @echo %i %j %k

    会分析 myfile.txt 中的每一行，忽略以分号打头的那些行，将
    每行中的第二个和第三个符号传递给 for 函数体，用逗号和/或
    空格分隔符号。请注意，此 for 函数体的语句引用 %i 来
    获得第二个符号，引用 %j 来获得第三个符号，引用 %k
    来获得第三个符号后的所有剩余符号。对于带有空格的文件
    名，您需要用双引号将文件名括起来。为了用这种方式来使
    用双引号，还需要使用 usebackq 选项，否则，双引号会
    被理解成是用作定义某个要分析的字符串的。

    %i 在 for 语句中显式声明，%j 和 %k 是通过
    tokens= 选项隐式声明的。可以通过 tokens= 一行
    指定最多 26 个符号，只要不试图声明一个高于字母 "z" 或
    "Z" 的变量。请记住，FOR 变量是单一字母、分大小写和全局的变量；
    而且，不能同时使用超过 52 个。

    还可以在相邻字符串上使用 FOR /F 分析逻辑，方法是，
    用单引号将括号之间的 file-set 括起来。这样，该字符
    串会被当作一个文件中的一个单一输入行进行解析。

    最后，可以用 FOR /F 命令来分析命令的输出。方法是，将
    括号之间的 file-set 变成一个反括字符串。该字符串会
    被当作命令行，传递到一个子 CMD.EXE，其输出会被捕获到
    内存中，并被当作文件分析。如以下例子所示:

FOR /F "usebackq delims==" %i IN (`set`) DO @echo %i

会枚举当前环境中的环境变量名称。

另外，FOR 变量参照的替换已被增强。您现在可以使用下列
选项语法:

     %~I          - 删除任何引号(")，扩展 %I
     %~fI        - 将 %I 扩展到一个完全合格的路径名
     %~dI        - 仅将 %I 扩展到一个驱动器号
     %~pI        - 仅将 %I 扩展到一个路径
     %~nI        - 仅将 %I 扩展到一个文件名
     %~xI        - 仅将 %I 扩展到一个文件扩展名
     %~sI        - 扩展的路径只含有短名
     %~aI        - 将 %I 扩展到文件的文件属性
     %~tI        - 将 %I 扩展到文件的日期/时间
     %~zI        - 将 %I 扩展到文件的大小
     %~$PATH:I   - 查找列在路径环境变量的目录，并将 %I 扩展
                   到找到的第一个完全合格的名称。如果环境变量名
                   未被定义，或者没有找到文件，此组合键会扩展到
                   空字符串

可以组合修饰符来得到多重结果:

     %~dpI       - 仅将 %I 扩展到一个驱动器号和路径
     %~nxI       - 仅将 %I 扩展到一个文件名和扩展名
     %~fsI       - 仅将 %I 扩展到一个带有短名的完整路径名
     %~dp$PATH:I - 搜索列在路径环境变量的目录，并将 %I 扩展
                   到找到的第一个驱动器号和路径。
     %~ftzaI     - 将 %I 扩展到类似输出线路的 DIR

在以上例子中，%I 和 PATH 可用其他有效数值代替。%~ 语法
用一个有效的 FOR 变量名终止。选取类似 %I 的大写变量名
比较易读，而且避免与不分大小写的组合键混淆。

分析klee源码的时候，想输入每条路径符号执行的约束条件。因为搞不明白它expr里面的内容是什么东西，所以想先调用expr的print函数，编码的时候发现ExprPPrint是个抽象类，不能定义对象，于是百度了一下抽象类的知识，转过来学习下。

转自：http://carolhzj.blog.hexun.com/1155606_d.html

拿交通工具类的程序进行思考，由交通工具派生出来的汽车类，飞机类，是具备更具体特性的描述的类，而对于交通工具这一个基类来说，它的特性是模糊的，广泛的，如果建立一个交通工具类的对象并没有实际意义，为了对这种没有必要能够建立对象的类进行约束，c++引入了抽象类的特性，抽象类的约束控制来源于纯虚函数的定义。

　　声明一个类的成员函数为纯虚函数的意义在于让c++知道该函数并无意义，它的作用只是为派生类进行虚函数重载保留位置。

　　纯虚函数的定义方法就是在类的成员函数的声明之后加上“=0”的标记，类中一旦有纯虚函数的定义那么这个类就再也不能创建此类的对象了，我们把这种类叫做抽象类。

抽象类的示例代码如下：

//程序作者:管宁 //站点:www.cndev-lab.com //所有稿件均有版权,如要转载,请务必著名出处和作者 #include <iostream> using namespace std; class Vehicle { public: Vehicle(float speed,int total) { Vehicle::speed = speed; Vehicle::total = total; } virtual void ShowMember()=0;//纯虚函数的定义 protected: float speed; int total; }; class Car:public Vehicle { public: Car(int aird,float speed,int total):Vehicle(speed,total) { Car::aird = aird; } virtual void ShowMember()//派生类成员函数重载 { cout<<speed<<"|"<<total<<"|"<<aird<<endl; } protected: int aird; }; int main() { //Vehicle a(100,4);//错误,抽象类不能创建对象 Car b(250,150,4); b.ShowMember(); system("pause"); }

4.17

linux下查看文件内容 od, -x表示显示的十六进制的数，因此要查看.o文件的内容可以这样：od -x get_sign.o

Ubuntu12.04

jdk-7u10-linux-i586.tar.gz

eclipse-jee-juno-SR1-linux-gtk.tar.gz

cdt-master-7.0.2.zip

1.安装JDK

mkdir /usr/lib/jvm

sudo cp -r jdk-7u10-linux-i586.tar.gz /usr/lib/jvm

sudo tar vxvf jdk-7u10-linux-i586.tar.gz

sudo gedit /etc/profile

修改环境变量：

export JAVA_HOME=/usr/lib/jvm/jdk1.7.0_10
export PATH=$JAVA_HOME/bin:$JAVA_HOME/jre/bin:$PATH
export CLASSPATH=$CLASSPATH:.:$JAVA_HOME/lib:$JAVA_HOME/jre/lib

更改默认配置选项 ,依次执行如下命令

sudo update-alternatives --install /usr/bin/java java /usr/lib/jvm/jdk1.7.0_10/bin/java 300
sudo update-alternatives --install /usr/bin/jar jar /usr/lib/jvm/jdk1.7.0_10/bin/jar 300
sudo update-alternatives --install /usr/bin/javah javah /usr/lib/jvm/jdk1.7.0_10/bin/javah 300
sudo update-alternatives --install /usr/bin/javap javap /usr/lib/jvm/jdk1.7.0_10/bin/javap 300

重启

测试 java -version

安装成功，则提示：

java version "1.7.0_10"
Java(TM) SE Runtime Environment (build 1.7.0_10-b18)
Java HotSpot(TM) Server VM (build 23.6-b04, mixed mode)

2.安装Eclipse

将下载的压缩压缩包直接解压，相应的文件夹下既有可执行文件

到这一步即可打开Eclipse，创建一个简单的Java工程，试着跑一下，应该没有问题。

3.安装cdt

这一步费较大的功夫，在网上查了很多种方法，这里说说我都试了哪些方法吧，反正最后是ok了的。

首先：

（1）启动eclipse，
（2）选择Help->Install New Software...，在Work with的框框下复制下面的地址： http://download.eclipse.org/releases/galileo
（3）选择Collaboration->Mylyn Bridge: C/C++ Development，安装，重启eclipse。
（4）同上述2、3，选择Programming Languages->Eclipse C/C++ Development，都选上吧，现在硬盘不贵的。重启eclipse。

这种方法完成后，已经可以建立Eclipse工程了，但是编译的时候不认识iostream。于是继续找办法。

然后：

将cdt复制到ecplise文件夹下，解压缩，将其中features和plugins底下的文件复制到eclipse相应的文件夹中。

重启eclipse, 试了下，还是不行。

接着：

手动添加include。Project->Properties->C/C++ General->Paths and Symbols

其中关于llvm的是我的程序需要用到的include文件。

重启Eclipse，还是不行。

最后：

（1）在eclipse所在的目录ECLIPSE_HOME（我的目录是：/home/soft/eclipse）新建文件夹cdt，在cdt下面新建文件夹eclipse

（2）把下载的cdt中的内容解压缩到ECLIPSE_HOME/cdt/eclipse中

（3）在ECLIPSE_HOME新建文件夹linkx，在新建的links中添加文件cdt.link文件的内容为path=ECLIPSE_HOME/cdt（比如我的路径就是/home/soft/eclipse/cdt）

（4）完成，重启eclipse。ok（thank god！）。

转自 http://kain.is-programmer.com/categories/7490/posts

使用klee时，一般要利用klee_make_symbolic函数，将要跟踪的变量标记为symbolic，但是klee是如何找到这个函数，并且对应标记的呢。。。。。

把klee_make_symbolic使用的分为两个过程，1。绑定 2.调用

1.绑定

在main.cpp中

line：1303

Interpreter *interpreter =

theInterpreter = Interpreter::create(IOpts, handler);//////////调用static函数创建了interpretor

handler->setInterpreter(interpreter); ////////////设置了interpreter输出文件的路径？？

line：1313

const Module *finalModule =

interpreter->setModule(mainModule, Opts);.

/////////////在setModule函数中，完成了klee_make_symbolic函数到SpecialFunctionHandler::handleMakeSymbolic的绑定

/////////////在SpecialFunctionHandler中prepare和bind()

Executor.cpp

跟踪Executor::setModule(Executor作为Interpreter的子类，实现了setModule虚函数)

line:348行

specialFunctionHandler = new SpecialFunctionHandler(*this);/////实现了Executor::specialFuntionHandler变量与包含它的类变量的相互绑定

line：352

specialFunctionHandler->bind();///////////////////////////////继续绑定过程

SpecialFunctionHandler.cpp

line:149

Function *f = executor.kmodule->module->getFunction(hi.name);/////////利用llvm提供的功能函数，查找到对应的hi.name（这里为klee_make_symbolic）的Function指针

line:151

if (f && (!hi.doNotOverride || f->isDeclaration()))//代码中存在klee_make_symbolic函数

handlers[f] = std::make_pair(hi.handler, hi.hasReturnValue);/////////////////////// 建立klee_make_symbolic函数返回指针和hi的对应关系,对应klee::SpecialFunctionHandler::handleMakeSymbolic()

handlers_ty handlers; typedef std::map<const llvm::Function*,

std::pair<Handler,bool> > handlers_ty;

至此绑定结束

2.运行klee_make_symbolicd对应的handleMakeSymbolic函数

main.cpp

if (!ReplayOutDir.empty() || !ReplayOutFile.empty())///////////感觉一直都为真吧？？？

{

line1365

interpreter->runFunctionAsMain(mainFn, out->numArgs, out->args, pEnvp);

}

Executor.cpp

进入runFunctionAsMain函数

line3257

run(*state);//////////// ExecutionState *state = new ExecutionState(kmodule->functionMap[f]);生成state，并完成一系列的初始工作

进入run函数

line2402

while (!seedMap.empty())对应论文里面提到的state没有运行完，则程序继续运行

{

line2415

executeInstruction(state, ki);

}

进入 executeInstruction(state, ki)函数

line1547

case Instruction::Call: ///////指令作用为函数调用，顾名思义。。。

{

line：1604

executeCall(state, ki, f, arguments);

}

进入 executeCall(state, ki, f, arguments);

函数头：：

void Executor::executeCall(ExecutionState &state,

KInstruction *ki,

Function *f,

std::vector< ref<Expr> > &arguments) {

line1125

callExternalFunction(state, ki, f, arguments);

进入callExternalFunction(state, ki, f, arguments);

函数头：

void Executor::callExternalFunction(ExecutionState &state,

KInstruction *target,

Function *function,

std::vector< ref<Expr> > &arguments) {

line2665

if (specialFunctionHandler->handle(state, function, target, arguments))/////注意这里的Executor::specialFunctionHandler为Executore::setModule生成的

进入SpecialFunctionHandler::handle函数

SpecialFuntionHandler.cpp

line161-163

handlers_ty::iterator it = handlers.find(f);

if (it != handlers.end()) {

Handler h = it->second.first;/////////////找到对应的Handler

line170

(this->*h)(state, target, arguments);调用klee_make_symbolic对应的处理函数handleMakeSymbolic(ExecutionState &state,

KInstruction *target,

std::vector<ref<Expr> > &arguments) 成功

下面，让我们看一下handleMakeSymbolic函数是如何实现symbolic的添加

void SpecialFunctionHandler::handleMakeSymbolic(ExecutionState &state,

KInstruction *target,

std::vector<ref<Expr> > &arguments) {

追踪下参数的来源

handleMakeSymbolic第三个参数：：

Executor.cpp

executeInstruction()函数

line1559中

std::vector< ref<Expr> > arguments;

line1563中

arguments.push_back(eval(ki, j+1, state).value);

这是handleMakeSymbolic第三个参数的来源

第二个参数

Executor.cpp

run()函数中

2412行

KInstruction *ki = state.pc;////////当前状态，当前指令的位置

第一个参数

state也是在run()函数中选择出来的////论文里是两种方式interleave！！！有待考察！！！

SpecialFuntionHandler.cpp

line：683行

if (res) {

executor.executeMakeSymbolic(*s, mo, name);

}

跟踪进入executeMakeSymbolic

Executor.cpp

line:3103

const Array *array = new Array(uniqueName, mo->size);

bindObjectInState(state, mo, false, array);

state.addSymbolic(mo, array);

完成了符号symbolic的添加

啊呗虹's Blog

啊呗虹

分类

最新评论

最新留言

链接

RSS

功能

bat批处理脚本基本教程

批处理（bat文件）for用法详解【转】

关于虚函数

step-by-step linux

Ubuntu+Eclipse+CDT

[转]KLEE源码解析之klee_make_symbolic跟踪