编译知识总结

0x01 gcc

gcc工具readelf

解析elf文件结构

gcc参数

  • -c 编译和汇编,但不链接

    ex:gcc -c main.c 输出main.o文件,.o文件不可执行
    image.png
  • -o 对.o进行链接

    ex:gcc -o main main.o 将main.o链接为可执行文件,输出main
    image.png
  • -g 如果想用调试器执行一个可执行文件, 在用gcc编译时必须加上-g选项,加上-g选项以后,gcc在编译时会做以下额外的操作:

    1. 创建符号表,符号表包含了程序中使用的变量名称的列表。
    2. 关闭所有的优化机制,以便程序执行过程中严格按照原来的C代码进行
  • -w 关闭编译时的警告,也就是编译后不显示任何warning,因为有时在编译之后编译器会显示一些例如数据转换之类的警告,这些警告是我们平时可以忽略的。
  • gcc -S test.c 生成汇编文件
  • ar rcs libtest.a test.o 生成静态链接库文件
  • gcc -o test test.o -L. -ltest 链接静态库文件和.o文件生成可执行文件
    gcc -o test test.o -L/your/library/path -l:libmylib.a

    注意上面的说明中红框标注的内容,如果-l:filename格式指定一个文件名,连接程序直接去找这个文件名了,不会再像使用-lname时将name扩展成lib.a格式的文件名.
    所以使用 -l:libpng.a这样的形式来指定连接库,就指定了静态连接png库。
    当然如果库的位置不在gcc默认搜索路径中,要用-L参数另外指定搜索库的路径,否则连接程序不知道该从哪里找到filename
  • 编译代码到共享库中,并使用操作系统的预加载功能。当执行/usr/bin下的被测应用时,如果系统库和我们创建的库中有相同的函数,会使用我们库中的函数。

    gcc -shared -fPIC -o test.so test.c 
    LD_PRELOAD=./test.so /usr/bin/target  
  • --cc=clang --extra-cflags='-O2 -g3 -fsanitize=address -fno-omit-frame-pointer -Wno-error' --extra-ldflags='-O2 -g3 -fsanitize=address -fno-omit-frame-pointer -Wno-error' --enable-debug --prefix=/home/cyber/VulnResearch/ffmpeg/clean/out_2
  • 流程示例
    1.预处理
    gcc -E test.c < test.i
    2.编译,生成汇编
    gcc -S test.i -o test.s
    3.汇编,生成机器码
    gcc -c test.s -o test.o
    4.链接,生成执行程序
    gcc test.o -o test
    每行汇编对应一行机器码
    例子:
    gcc -g -c test.c
    objdump -d -M intel -S test.o

gcc之addressSanitizer

https://www.jianshu.com/p/3a2...
gcc 4.8以上支持addressSanitizer,其能检测的错误类型
image.png
用-fsanitize=address选项编译和链接你的程序;
用-fno-omit-frame-pointer编译,以在错误消息中添加更好的堆栈跟踪。
增加-O1以获得更好的性能(最基础的优化,分为1,2,3级)

简单源码示例:

#include 
char leaktest(){
char* x =(char*)malloc(10*sizeof(char*));
return x[5];
}


int main(){
leaktest();
return 0;
}

编译:
gcc -fsanitize=address -fno-omit-frame-pointer -O1 -g leaktest.c -o leaktest

makefile

1、默认情况下,make 会以第一条规则作为其“终极目标”。
2、make在执行命令时会检测依赖文件的时间戳:
若依赖文件不存在或者依赖文件的时间戳比目标文件新,则执行依赖文件对应的命令。
若依赖文件的时间戳比目标文件老,则忽略依赖文件对应的命令。
3、make目标文件的依赖文件是按照从左到右的顺序生成的

1、makefile文件基本书写规则

TARGET... : PREREQUISITES...
COMMAND

TARGET:规则目标,可以为文件名或动作名
PREREQUISITES:规则依赖
COMMAND:命令行,必须以[TAB]开始,由shell执行

ex:

  1 #this is a makefile example
  2 
  3 main:main.o
  4     gcc -o main main.o
  5 
  6 main.o:main.c
  7     gcc -c main.c

使用:

image.png

2、变量使用

${变量名}
$(变量名)
$单字符变量名,Makefile有三个非常有用的变量。分别是$@(目标文件),$^(所有的依赖文件),$<(第一个依赖文件)
参考:https://www.cnblogs.com/baidu...

ex:

# 变量定义
objects = program.o foo.o utils.o

program : $(objects)          #在依赖中引用变量
    gcc -o program ${objects} #在命令中引用变量

$(objects) : defs.h           #在目标中引用变量

3、变量的分类和赋值
根据变量定义时所使用的赋值操作符的不同,可以将变量分成两种类型(或者说是两种风格):

递归展开式变量直接展开式变量

使用赋值操作符=+=?=定义的变量都是递归展开式变量,使用赋值操作符 :=定义的变量为直接展开式变量

两种变量类型的的最根本区别在于:变量值的求值时机,递归式变量的求值时机在于变量被引用时,直接展开式的求值时机在于变量被定义时

4、makefile选项

  • CFLAGS: 指定头文件(.h文件)的路径,如:CFLAGS=-I /usr/include -I /path/include。同样地,安装一个包时会在安装路径下建立一个include目录,当安装过程中出现问题时,试着把以前安装的包的include目录加入到该变量中来。
  • LDFLAGS:gcc 等编译器会用到的一些优化参数,也可以在里面指定库文件的位置。用法:LDFLAGS=-static -L /usr/lib -L /path/to/your/lib。每安装一个包都几乎一定的会在安装目录里建立一个lib目录。如果明明安装了某个包,而安装另一个包时,它愣是说找不到,可以抒那个包的lib路径加入的LDFALGS中试一下。
  • LIBS:告诉链接器要链接哪些库文件,如LIBS = -lpthread -liconv

5、make参数

1、make -j4 用4核同时编译,默认1核,可以不用加这个...
2、make -n/--just-print/--dry-run/--recon 只检查Makefile的命令,输出组合后的结果,不执行

cmake

你或许听过好几种 Make 工具,例如 GNU Make ,QT 的 qmake ,微软的 MS nmake,BSD Make(pmake),Makepp,等等。这些 Make 工具遵循着不同的规范和标准,所执行的 Makefile 格式也千差万别。这样就带来了一个严峻的问题:如果软件想跨平台,必须要保证能够在不同平台编译。而如果使用上面的 Make 工具,就得为每一种标准写一次 Makefile ,这将是一件让人抓狂的工作。
CMake就是针对上面问题所设计的工具:它首先允许开发者编写一种平台无关的 CMakeList.txt 文件来定制整个编译流程,然后再根据目标用户的平台进一步生成所需的本地化 Makefile 和工程文件,如 Unix 的 Makefile 或 Windows 的 Visual Studio 工程。从而做到“Write once, run everywhere”。显然,CMake 是一个比上述几种 make 更高级的编译配置工具。一些使用 CMake 作为项目架构系统的知名开源项目有 VTKITKKDEOpenCVOSG 等 [[1]](https://www.hahack.com/codes/...)。

在 linux 平台下使用 CMake 生成 Makefile 并编译的流程如下:

  1. 编写 CMake 配置文件 CMakeLists.txt 。
  2. 执行命令 cmake PATH 或者 ccmake PATH 生成 Makefile ,ccmake 和 cmake 的区别在于前者提供了一个交互式的界面。。其中, PATH 是 CMakeLists.txt 所在的目录。
  3. 使用 make 命令进行编译。

    mkdir bld
    cd bld
    cmake .. (CMakeLists.txt在上一级目录)
    make

0x02 clang

clang参数

clang使用libfuzzer进行fuzz所需参数
-fsanitize-coverage=trace-pc-guard(编译器在每条边界插入代码,每条边界的guard都不同。), trace-cmp(编译器将在比较指令和switch语句周围插入额外的工具),trace-gep(LLVM GEP指令(捕获数组索引)),trace-div(编译器将检测整型除法指令(以捕获除法的正确参数))

参考文档:https://www.anquanke.com/post...

你可能感兴趣的:(编译makefile)