1,clang query 概述
作用:
检查一个程序源码的抽象语法树,测试 AST 匹配器;
帮助检查哪些 AST 节点与指定的 AST 匹配器相匹配;
2,clang-query 安装
准备:
git clone --recursive https://github.com/llvm/llvm-project.git
cd llvm-project/
git checkout llvmorg-3.5.0
cp -r ./clang ./llvm/tools/
cp -r clang-tools-extra ./llvm/tools/clang/tools/extra
mkdir build_d ../local_d
cd build_d #其绝对路径为:/home/hipper/llvm_3_4_0_ex/browse/local_d,如下配置所用
配置:
cmake -G "Unix Makefiles" \
-DCLANG_ENABLE_STATIC_ANALYZER=1 \
-DLLVM_ENABLE_ASSERTIONS=On \
-DCMAKE_BUILD_TYPE=Debug \
-DCMAKE_INSTALL_PREFIX=/home/hipper/llvm_3_4_0_ex/browse/local_d \
-DLLVM_ENABLE_LIBCXX=1 \
-DLLVM_ENABLE_PROJECTS="all" \
../llvm
编译安装:
make -j34
make install
cp bin/clang-query /home/hipper/llvm_3_4_0_ex/browse/local_d/bin/
3,测试运行
待测试程序源代码:
hello.c
hello.c
extern int write(int, const char*, unsigned long);
int main(){
write(1, "Hello, ", 7);
write(1, "world", 5);
write(1, "!\n", 2);
return 0;
}
测试:
$ clang-query hello.c --
效果:
识别出函数调用表达式,并打印出来了
4, 更多测试
wildanimal-sim.cpp
class Plane{
public:
int run(int x)
{
return 10*x;
}
};
class Animal {
public:
int position;
public:
Animal(int pos) : position(pos) {}
// Return new position
int run(int quantity) {
return position += quantity;
}
};
class Cat : public Animal {
public:
Cat(int pos) : Animal(pos) {}
void meow() {}
void destroySofa() {}
bool wildMood() {return true;}
int run(int quantity){
return position += 2*quantity;
}
};
int main() {
Cat c(50); c.meow();
if (c.wildMood())
c.destroySofa();
c.run(2);
Plane pp;
pp.run(3);
return 0;
}
可以直接输出 AST 的clang 命令:
clang -Xclang -ast-dump hello.c
clang -cc1 -ast-dump hello.c
clang-query wildanimal-sim.cpp
测试如下命令:
clang-query> set output dump
clang-query> match recordDecl()
clang-query> match methodDecl(hasName("run"))
clang-query> match recordDecl(isSameOrDerivedFrom(hasName("Animal")))
clang-query> match recordDecl(allOf(hasMethod(methodDecl(hasName("run"))), isSameOrDerivedFrom(hasName("Animal"))))
LLVM-18:
clang-query> match cxxMemberCallExpr()
clang-query> match cxxMemberCallExpr(callee(memberExpr(member(hasName("run")))))
# not work。 clang-query> match cxxMemberCallExpr(callee(memberExpr(member(hasName("run")))), thisPointerType(recordDecl(isSameOrDerivedFrom(hasName("Animal")))))
LLVM-3.5
clang-query> match memberCallExpr()
clang-query> match memberCallExpr(callee(memberExpr(member(hasName("run")))))
clang-query> match memberCallExpr(callee(memberExpr(member(hasName("run")))), thisPointerType(recordDecl(isSameOrDerivedFrom(hasName("Animal")))))
效果