使用libtool、gcc编译libosip时链接klee_make_symbolic报错求助

你已经走完了libosip源码下载、配置的流程，甚至在代码里加了KLEE的符号化调用，但链接阶段卡壳了——这个问题其实很常见，核心原因是你只给了链接器KLEE库的搜索路径，但没明确告诉它要链接具体的KLEE库文件。咱们一步步来解决：

1. 给编译命令补上库链接参数 #

KLEE的核心库一般叫libklee.a或者libklee.so，链接器识别库的时候会自动补全lib前缀和后缀，所以你需要在LDFLAGS里加上-lklee。修改后的make命令应该是：

LDFLAGS="-L/home/oren/GIT/LatestKlee/klee/build/lib/ -lklee" make -j

如果还是报错，你可以去/home/oren/GIT/LatestKlee/klee/build/lib/目录看看具体有哪些KLEE相关的库——比如有时候还需要链接KLEE的运行时库libkleeRuntest.a，这时候命令就改成：

LDFLAGS="-L/home/oren/GIT/LatestKlee/klee/build/lib/ -lklee -lkleeRuntest" make -j

2. 试试换用LIBS变量传递库参数 #

有些项目的Makefile对LDFLAGS和LIBS的分工更明确：LDFLAGS负责路径，LIBS负责具体要链接的库。如果上面的方法没用，你可以试试：

LIBS="-L/home/oren/GIT/LatestKlee/klee/build/lib/ -lklee" make -j

链接器对库的顺序很敏感，用LIBS有时候能避免顺序问题导致的未定义引用。

3. 更稳妥的方式：在configure阶段就配置好 #

如果你不想每次make都手动加参数，不如在configure的时候就把这些参数传进去，这样生成的Makefile会自动带上配置：

../libosip2-4.1.0/configure --enable-test --disable-shared LDFLAGS="-L/home/oren/GIT/LatestKlee/klee/build/lib/" LIBS="-lklee"

之后直接make -j就可以了，省心不少。

最后确认下库的存在性 #

别忘了检查/home/oren/GIT/LatestKlee/klee/build/lib/目录下确实有你要链接的库文件（比如libklee.a），如果库不存在，那得先确保KLEE本身编译正确才行。

内容的提问来源于stack exchange，提问作者OrenIshShalom