CPU内部的寄存器中,有一种特殊的寄存器(对于不同的处理器,个数和结构都可能不同)。这种寄存器在ARM中,被称为状态寄存器就是CPSRcurrent program status register)寄存器。

CPSR和其他寄存器不一样,其他寄存器是用来存放数据的,都是整个寄存器具有一个含义。而CPSR寄存器是按位起作用的,也就是说,它的每一位都有专门的含义,记录特定的信息。

CPSR寄存器是32位
iOS逆向实战--003:状态寄存器 - 图1

  • CPSR低8位(包括IFTM[4:0])称为控制位,程序无法修改。除非CPU运行于特权模式下,程序才能修改控制位
  • NZCV均为条件码标志位。它们的内容可被算术或逻辑运算的结果所改变,并且可以决定某条指令是否被执行。意义重大

案例:

改变cpsr寄存器的值,代码执行流程也会跟随改变

打开ViewController.m文件,写入以下代码:

```

import “ViewController.h”

@implementation ViewController

void funcB(int a, int b){

if(a == b){ printf(“a == b”); } else{ printf(“error”); } }

  • (void)viewDidLoad { funcB(10, 20); }

@end

  1. > 真机运行项目,使用断点单步调试,来到`funcB`函数<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-0bf5ac8fdfda289a.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cmp`指令和`b.ne`指令搭配使用
  4. > - `cmp w8, w9`:比较`w8``w9`的值
  5. > - `b.ne`指令,有条件的跳转
  6. > 原本代码流程:`funcB`函数的`a``b`两个参数,分别传入`10``20`。此时`w8 ≠ w9`,执行`b.ne`指令,应该跳转到标号处<br />
  7. ![](https://upload-images.jianshu.io/upload_images/9297953-2ab752bb980ab403.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  8. > `b.ne`指令的跳转,和`cpsr`寄存器有关<br />
  9. ![](https://upload-images.jianshu.io/upload_images/9297953-c3f229a257e7a29a.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  10. > `cpsr`寄存器的值为`0x80000000`,将`0x8`转为二进制`1000`。将首位`1`右移一位,变为`0100`,十六进制位`0x4`<br />
  11. ![](https://upload-images.jianshu.io/upload_images/9297953-37fff2681c1cc191.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  12. > 使用`register write`命令,改变`cpsr`寄存器的值为`0x40000000`<br />
  13. ![](https://upload-images.jianshu.io/upload_images/9297953-17383514fc105483.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  14. > 向下执行`1`步,没有跳转到`b.ne`指令的标号处,而是向下继续执行了代码<br />
  15. ![](https://upload-images.jianshu.io/upload_images/9297953-85461c17aa953ec6.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  16. > 原本传入的`a``b`参数,它们的值完全不一样。但由于`cpsr`寄存器被改变,导致代码执行流程跟随改变<br />
  17. ![](https://upload-images.jianshu.io/upload_images/9297953-8712de3dc81eba22.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  18. #####N(Negative)标志
  19. > `CPSR`的第`31`位是`N`,符号标志位。它记录相关指令执行后,其结果是否为负。如果为负`N = 1`,如果是非负数`N = 0`
  20. > `ARM64`的指令集中,有的指令在执行时影响状态寄存器,例如:`add\sub\or`等,它们大都是运算指令(进行逻辑或算数运算)
  21. > 案例:
  22. > 改变`N`标志位
  23. > 打开`ViewController.m`文件,写入以下代码:
  24. >

import “ViewController.h”

@implementation ViewController

void funcB(int a, int b){ asm( “mov w0,#0x0\n” “adds w0,w0,#-0xff\n” ); }

  • (void)viewDidLoad { funcB(10, 20); }

@end

  1. > 向下执行`1`步,将`#0x0`写入`w0`<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-05c254c295e97532.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cpst``0x40000000`,此时`N`标志位为`0`
  4. > 向下执行`1`步,`w0`加等`#-0xff`<br />
  5. ![](https://upload-images.jianshu.io/upload_images/9297953-6782e5e00ed4c8c5.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  6. > - `cpst``0x80000000`,此时`N`标志位为`1`
  7. > `ARM64`中,`add`加法不带进位,而`adds`带进位的。`sub``subs`是做减法,用法类似。如果指定了`s`,则这些指令将会根据结果来更新`N``Z``C``V`标记
  8. #####Z(Zero)标志
  9. > `CPSR`的第`30`位是`Z``0`标志位。它记录相关指令执行后,其结果是否为`0`。如果结果为`0`,那么`Z = 1`。如果结果不为`0`,那么`Z = 0`
  10. > 对于`Z`的值,我们可以这样来看,`Z`标记相关指令的计算结果是否为`0`。如果为`0`,则`Z`要记录下是`0`这样的肯定信息。在计算机中`1`表示逻辑真,表示肯定。所以当结果为`0`的时候`Z = 1`,表示结果是`0`。如果结果不为`0`,则`Z`要记录下不是`0`这样的否定信息。在计算机中`0`表示逻辑假,表示否定。所以当结果不为`0`的时候`Z = 0`,表示结果不为`0`
  11. > 案例:
  12. > 改变`Z`标志位
  13. > 打开`ViewController.m`文件,写入以下代码:
  14. >

import “ViewController.h”

@implementation ViewController

void funcB(int a, int b){ asm( “mov w0,#0x0\n” “adds w0,w0,#0x1\n” ); }

  • (void)viewDidLoad { funcB(10, 20); }

@end

  1. > 向下执行`1`步,将`#0x0`写入`w0`<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-6136614f7faff4a7.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cpst``0x40000000`,此时`N`标志位为`0``Z`标志位为`1`
  4. > 向下执行`1`步,`w0`加等`#0x1`<br />
  5. ![](https://upload-images.jianshu.io/upload_images/9297953-0d58c1e8465c93b4.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  6. > - `cpst``0x00000000`,此时`N`标志位为`0``Z`标志位为`0`
  7. > 计算结果为`1`,结果为非负数,所以`N`标志位为`0`。结果不为零,所以`Z`标志位为`0`
  8. #####C(Carry)标志
  9. > `CPSR`的第`29`位是`C`,进位标志位。一般情况下,进行无符号数的运算
  10. > - 加法运算:当运算结果产生了进位时(无符号数溢出),`C=1`,否则`C=0`
  11. > - 减法运算(包括`CMP`):当运算时产生了借位时(无符号数溢出),`C=0`,否则`C=1`
  12. > 对于位数为`N`的无符号数来说,其对应的二进制信息的最高位,即第`N - 1`位,就是它的最高有效位,而假想存在的第`N`位,就是相对于最高有效位的更高位<br />
  13. ![](https://upload-images.jianshu.io/upload_images/9297953-bd5af6c63e2fb4b7.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  14. > #####进位<br />
  15. 我们知道,当两个数据相加的时候,有可能产生从最高有效位想更高位的进位。例如:两个`32位`数据,`0xaaaaaaaa + 0xaaaaaaaa`,将产生进位。由于这个进位值在`32位`中无法保存,我们就只是简单的说这个进位值丢失了。其实`CPU`在运算的时候,并不丢弃这个进位制,而是记录在一个特殊的寄存器的某一位上。`ARM`下就用`C`位来记录这个进位值
  16. > 案例:
  17. > 打开`ViewController.m`文件,写入以下代码:
  18. >

import “ViewController.h”

@implementation ViewController

void funcB(int a, int b){ asm( “mov w0,#0xaaaaaaaa\n” “adds w0,w0,w0\n” “adds w0,w0,w0\n” “adds w0,w0,w0\n” “adds w0,w0,w0\n” ); }

  • (void)viewDidLoad { funcB(10, 20); }

@end

  1. > 向下执行`1`步,将`#0xaaaaaaaa`写入`w0`<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-1c9e7c5a73e9098e.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cpst``0x40000000`,此时`N`标志位为`0``Z`标志位为`1``C`标志位为`0`
  4. > 向下执行`1`步,`w0`加等`#0xaaaaaaaa`<br />
  5. ![](https://upload-images.jianshu.io/upload_images/9297953-27c0c808d4276492.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  6. > - `w0``0x55555554`,因为`0xaaaaaaaa + 0xaaaaaaaa`结果溢出
  7. > - `cpst``0x30000000`,此时`N`标志位为`0``Z`标志位为`0``C`标志位为`1`
  8. > 向下执行`1`步,`w0`加等`#0x55555554`<br />
  9. ![](https://upload-images.jianshu.io/upload_images/9297953-b733304fb88a6f86.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  10. > - `w0``0xaaaaaaa8`
  11. > - `cpst``0x90000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`0`
  12. > 向下执行`1`步,`w0`加等`#0xaaaaaaa8`<br />
  13. ![](https://upload-images.jianshu.io/upload_images/9297953-bfddc621593ef9c7.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  14. > - `w0``0x55555550`,因为`0xaaaaaaa8 + 0xaaaaaaa8`结果溢出
  15. > - `cpst``0x30000000`,此时`N`标志位为`0``Z`标志位为`0``C`标志位为`1`
  16. > 向下执行`1`步,`w0`加等`#0x55555550`<br />
  17. ![](https://upload-images.jianshu.io/upload_images/9297953-f9f2b0285c0bdbfe.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  18. > - `w0``0xaaaaaaa0`
  19. > - `cpst``0x90000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`0`
  20. > #####借位<br />
  21. 当两个数据做减法的时候,有可能向更高位借位。例如:两个`32位`数据:`0x00000000 - 0x000000ff`,将产生借位。借位后,相当于计算`0x100000000 - 0x000000ff`。得到`0xffffff01`这个值。由于借了一位,所以`C`位用来标记借位
  22. > 案例:
  23. > 打开`ViewController.m`文件,写入以下代码:
  24. >

import “ViewController.h”

@implementation ViewController

void funcB(){ asm( “mov w0,#0x0\n” “subs w0,w0,#0xff\n” “subs w0,w0,#0xff\n” “subs w0,w0,#0xff\n” ); }

  • (void)viewDidLoad { funcB(); }

@end

  1. > 向下执行`1`步,将`#0x0`写入`w0`<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-7cf2dcc5cc3460a1.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cpst``0x40000000`,此时`N`标志位为`0``Z`标志位为`1``C`标志位为`0`
  4. > 向下执行`1`步,`w0`减等`#0xff`<br />
  5. ![](https://upload-images.jianshu.io/upload_images/9297953-4b82ce70d85aa6cc.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  6. > - `w0``0xffffff01`,因为`#0x0 - #0xff`,结果溢出
  7. > - `cpst``0x80000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`0`
  8. > 向下执行`1`步,`w0`减等`#0xff`<br />
  9. ![](https://upload-images.jianshu.io/upload_images/9297953-a61afdb9629c52f2.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  10. > - `w0``0xfffffe02`
  11. > - `cpst``0xa0000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`1`
  12. > 向下执行`1`步,`w0`减等`#0xff`<br />
  13. ![](https://upload-images.jianshu.io/upload_images/9297953-daad6e3db030589c.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  14. > - `w0``0xfffffd03`
  15. > - `cpst``0xa0000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`1`
  16. ######V(Overflow)溢出标志
  17. > `CPSR`的第`28`位是`V`,溢出标志位。在进行有符号数运算的时候,如果超过了机器所能标识的范围,称为溢出
  18. > - 正数 + 正数 = 负数,溢出`V = 1`。否则`V = 0`
  19. > - 负数 + 负数 = 正数,溢出`V = 1`。否则`V = 0`
  20. > - 正数 + 负数,在同等宽度下,不可能溢出
  21. > 案例1
  22. > 正数 + 正数 = 负数
  23. > 打开`ViewController.m`文件,写入以下代码:
  24. >

import “ViewController.h”

@implementation ViewController

void funcB(){ asm( “mov w0,#0xaaaaaaaa\n” “adds w0,w0,w0\n” “adds w0,w0,w0\n” ); }

  • (void)viewDidLoad { funcB(); }

@end

  1. > 向下执行`1`步,将`#0xaaaaaaaa`写入`w0`<br />
  2. ![](https://upload-images.jianshu.io/upload_images/9297953-a01037f9a3ff9b20.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  3. > - `cpst``0x40000000`,此时`N`标志位为`0``Z`标志位为`1``C`标志位为`0``V`标志位为`0`
  4. > 向下执行`1`步,`w0`加等`#0xaaaaaaaa`<br />
  5. ![](https://upload-images.jianshu.io/upload_images/9297953-cd033048d2797741.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  6. > - `w0``0x55555554`,因为`0xaaaaaaaa + 0xaaaaaaaa`结果溢出
  7. > - `cpst``0x30000000`,此时`N`标志位为`0``Z`标志位为`0``C`标志位为`1``V`标志位为`1`
  8. > 向下执行`1`步,`w0`加等`#0x55555554`<br />
  9. ![](https://upload-images.jianshu.io/upload_images/9297953-e0cbd0624859581a.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240#alt=)
  10. > - `w0``0xaaaaaaa8`,因为`0x55555554 + 0x55555554`对于有符号数,结果溢出
  11. > - `cpst``0x90000000`,此时`N`标志位为`1``Z`标志位为`0``C`标志位为`0``V`标志位为`1`
  12. > 在计算过程中,底层无法得知当前是`无符号数`还是`有符号数`。运算时,`C`标志位按`无符号数`运算,而`V`标志位按`有符号数`运算
  13. > 案例2
  14. > 负数 + 负数 = 正数
  15. > 打开`ViewController.m`文件,写入以下代码:
  16. >

import “ViewController.h”

@implementation ViewController

void funcB(){ asm( “mov w0,#-0x7fffffff\n” “adds w0,w0,w0\n” ); }

  • (void)viewDidLoad { funcB(); }

@end ```

向下执行1步,将#-0x7fffffff写入w0
iOS逆向实战--003:状态寄存器 - 图2

  • cpst0x40000000,此时N标志位为0Z标志位为1C标志位为0V标志位为0

向下执行1步,w0加等#-0x7fffffff
iOS逆向实战--003:状态寄存器 - 图3

  • w00x00000002,因为#-0x7fffffff + #-0x7fffffff结果溢出
  • cpst0x30000000,此时N标志位为0Z标志位为0C标志位为1V标志位为1
总结

状态寄存器

  • 状态寄存器就是CPSR,也称之为标志寄存器
  • ARM64中,状态寄存器(cpsr)为32位
  • 最高4位28293031)为标志位

N标志

  • 负标记位
  • 执行结果为负数,N = 1。非负数,N = 0

Z标志

  • 0标记位
  • 结果为0Z = 1。结果非0Z = 0

C标志

  • 无符号数溢出
  • 加法:进位C = 1,否则C = 0
  • 减法:借位C = 0,否则C = 1

V标志

  • 有符号数溢出
  • 正数 + 正数 = 负数,溢出V = 1。否则V = 0
  • 负数 + 负数 = 正数,溢出V = 1。否则V = 0
  • 正数 + 负数,在同等宽度下,不可能溢出

汇编指令
subs指令:和sub指令相似,做减法。影响目标寄存器,同时影响状态寄存器
adds指令:和add指令相似,做加法。影响目标寄存器,同时影响状态寄存器