那么，就需要对LLVM有了解，如整体架构：The Architecture of Open Source Applications: LLVM同时也需要知道Module是什么，遍历Module后的Function，Global Value是什么，Function遍历后BasicBlock是什么，遍历BasicBlock后的Value是什么等等，这是非常重要的，因为即使是Clang都会
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc javascript c java scala cpp graph binary llvm code-analysis syntax-tree dataflow query-language cpg code-browser controlflow ghidra fuzzy-parsing ...
https://sourcecodeartisan.com/2020/11/17/llvm-backend-4.html https://www.cnblogs.com/Five100Miles/p/12822190.html https://llvm.org/docs/LangRef.html#abstract https://apsarasx.com/docs/llvm-tutorials 参考文献链接 https://mp.weixin.qq.com/s/S-5jCiaG05dY8f5sK_kdcQ https://mp.weixin....
准备好开发环境后,开始在源码外开发Pass,先按看官方文档中的流程建好文件。 https://llvm.org/docs/CMake.html#developing-llvm-passes-out-of-source 我配置的时候不同的是最外层的CMakeLists.txt,要根据报错自己加一些配置。 cmake_minimum_required(VE...
/// The expansion location is the line in the source code where the macro /// was expanded (the return statement), the spelling location is the /// location in the source where the macro was originally defined, /// and the presumed location is where the line directive states that ...
不链接 --asm Output assembly code as well as object code 输出汇编以及obj文件 -S Output assembly code instead of object code 只输出汇编文件 --interleave Interleave source with disassembly (use with --asm or -S) 交叉反汇编 (use with --asm or -S) -E Preprocess the C source code only ...
tintin# llvm-config --cxxflags --ldflags --libs \ -I/usr/include -DNDEBUG -D_GNU_SOURCE \ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS \ -D__STDC_LIMIT_MACROS -O3 -fno-exceptions -fno-rtti -fno-common \ -Woverloaded-virtual -Wcast-qual \ -L/usr/lib -lpthread -lm \ -lLL...
这样对内存的访问,编译器会在编译期自动在所有内存访问之前通过判断IsPoisoned(address)做一下 check 是否被“投毒”。 那么实现且高效地实现 IsPoisoned(),并使得 ReportError() 函数比较紧凑就十分重要。 在深入了解之前,我们先了解Shadow 内存,以及主应用内存区和shadow内存映射。
AnalysisAction - 运行静态分析引擎,option 是 -analyze EmitLLVMAction - 生成可读的 IR 中间语言文件,对应的 option 是 -emit-llvm EmitBCAction - 生成 IR Bitcode 文件,option 是 -emit-llvm-bc MigrateSourceAction - 代码迁移,option 是 -migrate ...
pass可以分为两类,一类是analysis pass,一类是transform pass。可以简单理解为前者不改变ir,仅通过对ir的分析获取程序的信息,如有多少操作数,代码可视化等等;后者基于analysis pass的分析结果,改变ir,对其进行优化,提高程序执行的效率。 将source code转换为dataflow,需要基于程序的进行分析,提取control flow,并进一步基于...