系列文章目录
第六章 MANIPLUTING THE STRING AND DATA BLOCKS
提示:写完文章后,目录可以自动生成,如何生成可参考右边的帮助文档
前言
字符串处理和数据块处理提示:以下是本篇文章正文内容,下面案例可供参考
一、内存块拷贝
1.1 MOVS
movb 从%esi指向的内存取一个字节,赋值给%edi指向的内存。
leal value1+22, %esi # 把value1+22地址赋值给%esi,等价于
movl $22(value1), %esi
DF只决定%esi,%edi在赋值后的移动方向,但是movs?命令读取的方向是不变的。
1.2 REP
本节所有例子里都有一个问题,就是没有为目标字符串保留一个保存'\0'的位置。如果要保存一个23个字符的字符串,则需要申请24字节。后面的例子就不一一说明了。 |
rep只能执行一个命令循环。movsb通过重复单字节拷贝实现字符串拷贝。功能够可以实现,但是效率比较低。cld是清除DF标志位,即设置DF=0(increase)
movsl一次拷贝4字节,但是字符个数不能刚好被4整除,循环次数设置不当会导致内存写溢出。注意ecx循环次数的设置,不能超过申请的内存长度。output只有23字节,%ecx等于6,则output拷贝了24字节。往output后面多写了一个字节。可能会导致严重错误。“This is a test string \nO”,‘O’就是多写的内容。
老师说可以通过length = . - string1来计算字符串的长度。但是我试过在.data段定义,编译器不认识’.’,在.text段可以用’.’,但是此时当前指令已经不是字符串后面一个指令了。
shrl,算术右移
shrl $2, %ecx # 算术右移2位,即除以4
andl $3, %ecx # 按位与,取后两位,除以4后的余数
std,DF = 0,从后往前拷贝
1.3 LODS
多次写的时候,rep lodsl,实际上后面的写覆盖了前面的结果。
用处不大。
1.4 STOS
可以通过rep stosl重复将AL/AX/EAX/RAX写入%edi/%rdi指向的内存。
可以用来初始化内存。
lodsb,将%esi中内容取出一个字节写入%AL,即空格
rep stosb,用%AL中的内容重复写256次到%edi,即buffer中。
其实对%AL赋值可以直接用movb space, %AL。这个例子只是为了体现lodsb和stosb的用法。
将小写字母转换为大写字符。
main:
leal string1, %esi # 将string1首地址赋值给%esi
movl %esi, %edi # 将%esi的值赋值给%edi,即%edi页保存了string1的首地址
movl length, %ecx # 将length赋值给%ecx,循环计数器为43
cld # 清除Direction Flag,即DF = 0
loop1:
lodsb # 将%esi的低8位取出赋值给%al,指令完成后移动%esi指向下一个字符'h'
cmpb $'a', %al # 比较%al字符与'a'的大小,结果不写入%al,但是会设置状态标志位
jl skip # 如果%al中的字符小于‘a’则跳到skip。大写字符ascii小于‘a’
cmpb $'z', %al # 比较%al字符与'z'的大小
jg skip # 如果大于'z'则跳到skip。不处理大于'z'的字符
subb $0x20, %al # %al = %al - 0x20; 如果字符是在'a'~'z'之间则做减操作
skip:
stosb # 将%al中的字符写入,%edi,注意%edi和%esi指向同一段内存
loop loop1 # 回到循环开始
二、内存比较
2.1 CMPS
movl $1, %eax # 系统调用 exit,程序写得不好,应该在使用的时候赋值。否则中间被覆盖了就有问题了。
整体就是value1等于value2就返回0:exit(0),不等于返回1, exit(1)
可以弄一个循环,就可以不只比较4个字节了。
2.2 REP CMPS
check if ZF == 0
ZF = 0,则result不等0,即两个数不相等。
这里这个条件写得不好,有误导的嫌疑。
检查是否相等,应该是
Check if ZF == 1
指令 | 含义 | 跳出循环检查 |
---|---|---|
REPE | Loop if equal | Check if ZF == 0 |
REPNE | Loop if not equal | check if ZF != 0 |
REPZ | Loop if zero | Same as REPE |
REPNZ | Loop if not zero | Same as REPNE |
PPT中的例子感觉不太对,主要是循环计数器应该是用长度比较小的数字,而不是比较长的。用两个字符串较长的作为循环计数,会导致越界读。——老师后面在讲6c的时候,讲了这部分内容。确认了确实有问题。 |
.section .data
string1:
.ascii "test"
length1:
.int 4
string2:
.ascii "test1"
length2:
.int 5
.section .text
.globl main
main:
lea string1, %esi # string1的地址赋值给%esi
lea string2, %edi # string2的地址赋值给%edi
movl length1, %ecx # string1的长度赋值给%ecx
movl length2, %eax # string2的长度赋值给%eax
cmpl %eax, %ecx
ja longer # 如果%ecx > %eax,即length1 > length2,则跳转到longer标签
xchg %ecx, %eax # 如果%ecx <= %eax,则交换,即%ecx保存长度长的那个数字
longer:
cld # DF = 0
repe cmpsb # 如果%esi与%edi中的字符相等则一直比,直到不相等,或者%ecx等于0
je equal # 如果最后一个字符相等,即跳出循环是因为%ecx等于0,因为%ecx是长的,所以实际上此时两个字符串一定是相同的。但是程序中还进行了长度的判断。另外循环中因为%ecx是长的,所以短的那个可能会越界读。这个是有问题的,应该是用短的长度循环更符合逻辑。
jg greater
less:
movl $1, %eax
movl $255, %ebx
int $0x80
greater:
movl $1, %eax
movl $1, %ebx
int $0x80
equal:
movl length1, %ecx
movl length2, %eax
cmpl %ecx, %eax
jg greater # 这个地方为什么用jg而不是ja?
jl less
movl $1, %eax
movl $0, %ebx
int $0x80
最后返回结果是255
这个结果是错的,就是因为计数器选择了长的。代码改为:
......
cmpl %eax, %ecx
jl shorter # 如果%ecx < %eax,则跳转到shorter,因length1 < length2,则跳转到shorter标签
xchg %ecx, %eax # 如果%ecx <= %eax,则交换,即%ecx保存长度长的那个数字
shorter:
cld # DF = 0
......
# 或者
cmpl %ecx, %eax # 但是这样不直接,不能一眼看出来其实是想找较短的长度
修改后执行,返回结果是1
2.3 SCAS
.section .data
string1:
.ascii "This is a test - a long text string to scan."
length:
.int 44
string2:
.ascii "-"
.section .text
.globl main
main:
leal string1, %edi
leal string2, %esi
movl length, %ecx
lodsb # 从%esi指向的内存取出一个字节放入%al
cld # clear DF
repne scasb # 如果%al中的字符,在%edi指向的内存没找到,则继续找。找到了或者%ecx等于0停止循环查找
jne notfound # 跳出循环结果是没找到,则跳到notfound标签
subw length, %cx # 找到了,则用%cx循环后剩下的长度-总长度,等于-已经查找过的长度。
neg %cx # 对%cx取反,则%cx等于找到字符到开始长度
movl $1, %eax
movl %ecx, %ebx # 返回长度
int $0x80 # exit(%ecx)
notfound:
movl $1, %eax
movl $0, %ebx
int $0x80 # 没找到返回exit(0)
执行结果为16:
这里echo $0命令用来查询之前执行程序的返回值。即:./scaschar的返回值
查找多个字节,存在对齐问题。对于目标字符串与要找的字符串不对齐,则找不到。
但是找数字是非常好用的。
求字符串的长度。
通过定义字符串带’\0’结尾,计算字符串长度。