LLVM生成共享库代码时为什么需要PIC

冬晨酱_6158

冬晨酱_6158

2026-10-07

917人浏览

原创

llvm生成共享库时必须加-fpic,否则链接失败;因其严格遵循elf规范,要求代码段可重定位、只读且支持aslr,非pic代码会破坏共享内存与安全性。

llvm生成共享库代码时为什么需要pic

LLVM生成共享库时-fPIC不是可选项,而是ELF加载机制的硬性要求

不加 -fPIC 用LLVM(如 clang)生成 .so 文件,在x86_64 Linux上大概率会链接失败,报错类似:relocation R_X86_64_32 against `myvar' can not be used when making a shared object。这不是LLVM故意设限,而是它严格遵循ELF共享库规范:代码段必须可被多个进程映射到不同虚拟地址,且不能被动态链接器修改。

非PIC代码在共享库中会破坏代码段共享和ASLR安全性

没开 -fPIC 时,编译器生成的指令直接使用绝对地址访问全局变量或跳转到函数,比如 mov eax, DWORD PTR [0x7ffff7abc123]。这种代码一旦被加载到不同基址,就会读错数据、跳错位置。动态链接器只能靠“加载时重定位”来修补——但这就意味着:

  • 代码段必须可写(否则无法打补丁),失去只读保护,易被ROP攻击利用
  • 每个进程都要维护一份修改后的代码副本,彻底丧失共享内存节省RAM的意义
  • 启动时需遍历所有重定位项,拖慢大型程序加载速度

LLVM/Clang对-fPIC的实现依赖RIP相对寻址与GOT/PLT机制

x86_64平台下,clang -fPIC 生成的代码不依赖绝对地址,而是靠CPU原生支持的RIP相对寻址(如 mov rax, QWORD PTR [rip + 0x2009db])获取GOT表偏移,再通过GOT间接拿到变量真实地址。这个过程完全由编译器+链接器协作完成,运行时无需改写代码段。

关键点:

Zapier Agents
Zapier Agents

Zapier Agents是一款用于构建和运行自动化 AI 代理的工作流工具。

下载
  • -fPIC 不是让LLVM“多做点事”,而是让它放弃生成绝对地址指令,改用符合PIC语义的IR和后端指令序列
  • LLVM IR本身不带位置信息,但后端(如X86TargetMachine)在代码生成阶段必须启用PIC模式,否则会输出非RIP-relative的mov/call
  • 即使你手写LLVM IR并用 llc 生成汇编,最终仍需用 clang -shared -fPIC 或 ld -shared -z text 链接,否则GOT/PLT节不会被正确构造

Clang里-fPIC和-fPIE不能混用,尤其别对共享库加-fPIE

有人试过 clang -fPIE -shared 编译so,结果链接时报错或运行时崩溃。根本原因是:-fPIE 假设整个二进制是单进程独占的可执行体,它把全局变量当作“本程序内部固定偏移”处理,而共享库要求变量地址必须能在加载时重定位(即通过GOT)。两者语义冲突。

正确做法只有这一种:

  • 生成共享库:始终用 clang -fPIC -shared
  • 生成PIE可执行文件:用 clang -fPIE -pie(注意是链接时加 -pie,不是 -shared)
  • 静态库(.a)不需要 -fPIC,因为它们在链接进主程序时才决定地址

最容易被忽略的是:某些旧版Clang在x86_64上默认开启 -fPIC,让你误以为不加也能成;但换到ARM64或启用LTO后,缺失 -fPIC 就立刻暴露——别依赖默认行为,显式加上最稳。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

80

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

80

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

80

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

60

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

60

15

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

2026.09.23

280

15

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

2026.09.23

160

15

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

2026.09.23

140

15

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

2026.09.22

80

12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程