- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我知道PIC代码可以使ASLR随机化更加有效和容易,因为该代码可以放置在内存中的任何位置而无需更改代码。但是,如果我根据Wikipedia理解正确,那么relocation动态链接程序可以在运行时进行“修正”,因此可以定位符号,尽管代码与位置无关。但是根据许多答案,我看到这里非图片代码不能ASLR
部分(堆栈除外)(因此不能使程序入口点随机化)。如果这是正确的,那么什么是运行时修补程序?为什么我们不能在程序开始运行之前就在程序运行时对代码中的所有位置进行修补,以使程序入口点随机化。
最佳答案
TL:DR:并非所有对绝对地址的使用都会在非PIE可执行文件(ELF类型EXEC,而非DYN)中具有重定位信息。 因此,内核的程序加载器无法全部找到它们来应用修复程序。
因此,无法为非PIE构建的可执行文件追溯启用ASLR。传统的可执行文件无法将自己标记为每次使用绝对地址都具有重定位元数据,也没有必要添加这种功能,因为如果您要使用文本ASLR,则只需构建一个PIE。
由于保证ELF型EXEC Linux可执行文件在链接时由链接器选择的固定基地址加载/映射,因此在可执行文件中为内部符号建立符号表条目将浪费空间。因此,工具链没有做到这一点,也没有理由开始。这就是传统ELF可执行文件的设计方式。在堆栈ASLR成为现实之前,Linux在90年代中期从a.out转换为ELF,因此它并没有受到人们的关注。
例如static char buf[100]
的绝对地址可能嵌入在使用它的机器代码中的某个位置(如果我们正在谈论将地址存储在寄存器中的32位代码或64位代码),但是无法知道在哪里或多少次。
同样,对于x86-64,非PIE可执行文件的默认代码模型可确保静态地址(文本/数据/bss)全部位于虚拟地址空间的低2GiB中,因此32位绝对有符号或无符号地址可以工作,并且rel32
位移可以从任何事物中获取任何东西。这就是非PIE编译器输出使用mov $symbol, %edi
(5字节)而不是lea symbol(%rip), %rdi
(7字节)将地址放入寄存器的原因。 https://godbolt.org/z/89PeK1
因此,即使您确实知道每个绝对地址在哪里,也只能在低2GiB中对它进行ASLR,从而限制了您可以引入的熵位数。 (我认为Windows为此提供了一种模式:LargeAddressAware = no。但是Linux没有。32-bit absolute addresses no longer allowed in x86-64 Linux?再次,PIE是允许文本ASLR的更好方法,因此人们(发行人)只要愿意,就可以对其进行编译。)
与Windows不同,Linux不会花费大量精力通过重新编译源代码中的二进制文件来更好地处理这些问题。
话虽这么说,GNU/Linux甚至在PIC/PIE ELF共享对象中也支持64位绝对地址的修正重定位。这就是为什么像NASM mov rdi, BUFFER
这样的初学者代码甚至可以在共享库中工作的原因:使用objdump -drwC -Mintel
在mov reg, imm64
指令中查看有关符号使用的重定位信息。如果lea rdi, [rel BUFFER]
不是全局符号,则BUFFER
不需要任何重定位条目。 (相当于C static
。)
您可能想知道元数据为何必不可少:
没有可靠的方法来搜索文本/数据以查找可能的绝对地址。误报可能是。例如/usr/bin/ld
可能包含0x401000
作为x86-64可执行文件的默认起始地址。您不希望ld
的code + data的ASLR也更改其默认值。或者该整数值可能在许多程序中以多种方式出现,例如作为位图。当然,x86-64机器代码的长度是可变的,因此在最一般的情况下,甚至没有可靠的方法甚至可以将操作码与立即操作数区分开。
还有潜在的假阴性。 x86程序用多条指令在寄存器中构造绝对地址的可能性不大,但是肯定有可能。但是,在非x86代码中,这很常见。
具有固定长度指令的RISC机器不能将32位地址放入32位指令中。没有别的空间了。因此,要从静态存储中加载,绝对地址必须在多条指令之间分割,例如MIPS lui $t0, %hi(0x612300)
/lw $t1, %lo(0x612300)($t0)
,才能从绝对地址0x612300的静态变量加载。 (在asm源代码中通常会有一个符号名,但除非是.globl
,否则它不会出现在最终链接的二进制文件中,因此我使用数字作为提醒。)类似的指令不必成对出现;地址的相同上半部分可被其他访问同一数组或结构的其他访问重用,稍后再进行说明。
关于linux - 为什么非图片代码不能完全使用运行时修复程序进行ASLR?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64251362/
我是 C 语言新手,我编写了这个 C 程序,让用户输入一年中的某一天,作为返回,程序将输出月份以及该月的哪一天。该程序运行良好,但我现在想简化该程序。我知道我需要一个循环,但我不知道如何去做。这是程序
我一直在努力找出我的代码有什么问题。这个想法是创建一个小的画图程序,并有红色、绿色、蓝色和清除按钮。我有我能想到的一切让它工作,但无法弄清楚代码有什么问题。程序打开,然后立即关闭。 import ja
我想安装screen,但是接下来我应该做什么? $ brew search screen imgur-screenshot screen
我有一个在服务器端工作的 UDP 套接字应用程序。为了测试服务器端,我编写了一个简单的 python 客户端程序,它发送消息“hello world how are you”。服务器随后应接收消息,将
我有一个 shell 脚本,它运行一个 Python 程序来预处理一些数据,然后运行一个 R 程序来执行一些长时间运行的任务。我正在学习使用 Docker 并且我一直在运行 FROM r-base:l
在 Linux 中。我有一个 c 程序,它读取一个 2048 字节的文本文件作为输入。我想从 Python 脚本启动 c 程序。我希望 Python 脚本将文本字符串作为参数传递给 c 程序,而不是将
前言 最近开始整理笔记里的库存草稿,本文是 23 年 5 月创建的了(因为中途转移到 onedrive,可能还不止) 网页调起电脑程序是经常用到的场景,比如百度网盘下载,加入 QQ 群之类的 我
对于一个类,我被要求编写一个 VHDL 程序,该程序接受两个整数输入 A 和 B,并用 A+B 替换 A,用 A-B 替换 B。我编写了以下程序和测试平台。它完成了实现和行为语法检查,但它不会模拟。尽
module Algorithm where import System.Random import Data.Maybe import Data.List type Atom = String ty
我想找到两个以上数字的最小公倍数 求给定N个数的最小公倍数的C++程序 最佳答案 int lcm(int a, int b) { return (a/gcd(a,b))*b; } 对于gcd,请查看
这个程序有错误。谁能解决这个问题? Error is :TempRecord already defines a member called 'this' with the same paramete
当我运行下面的程序时,我在 str1 和 str2 中得到了垃圾值。所以 #include #include #include using namespace std; int main() {
这是我的作业: 一对刚出生的兔子(一公一母)被放在田里。兔子在一个月大时可以交配,因此在第二个月的月底,每对兔子都会生出两对新兔子,然后死去。 注:在第0个月,有0对兔子。第 1 个月,有 1 对兔子
我编写了一个程序,通过对字母使用 switch 命令将十进制字符串转换为十六进制,但是如果我使用 char,该程序无法正常工作!没有 switch 我无法处理 9 以上的数字。我希望你能理解我,因为我
我是 C++ 新手(虽然我有一些 C 语言经验)和 MySQL,我正在尝试制作一个从 MySQL 读取数据库的程序,我一直在关注这个 tutorial但当我尝试“构建”解决方案时出现错误。 (我正在使
仍然是一个初学者,只是尝试使用 swift 中的一些基本函数。 有人能告诉我这段代码有什么问题吗? import UIKit var guessInt: Int var randomNum = arc
我正在用 C++11 编写一个函数,它采用 constant1 + constant2 形式的表达式并将它们折叠起来。 constant1 和 constant2 存储在 std::string 中,
我用 C++ 编写了这段代码,使用运算符重载对 2 个矩阵进行加法和乘法运算。当我执行代码时,它会在第 57 行和第 59 行产生错误,非法结构操作(两行都出现相同的错误)。请解释我的错误。提前致谢:
我是 C++ 的初学者,我想编写一个简单的程序来交换字符串中的两个字符。 例如;我们输入这个字符串:“EXAMPLE”,我们给它交换这两个字符:“E”和“A”,输出应该类似于“AXEMPLA”。 我在
我需要以下代码的帮助: 声明 3 个 double 类型变量,每个代表三角形的三个边中的一个。 提示用户为第一面输入一个值,然后 将用户的输入设置为您创建的代表三角形第一条边的变量。 将最后 2 个步
我是一名优秀的程序员,十分优秀!