[FASM]strlen en ASM

[0xDani]

He encontrado una implementacion de strlen en ASM, podriais ayudarme a entenderla?

Código (asm) [Seleccionar] Expandir

; Will return the length of a null-terminated string
; The result will be written to ECX
;
; Usage:
; hello_tmp db "test",0
; ...
; ccall   strlen, hello_tmp
proc  strlen, strInput
mov ecx,-1
mov al,0
mov edi,[strInput]
cld
repne scasb
not ecx
dec ecx
ret
endp

Enlace: http://www.betamaster.us/blog/?p=471

Saludos.

[_Enko]

fijate que hacen las instrucciones "cld", "repne" y  "scasb" y con eso debe quedar claro.
Me atrevería a decir que está mucho mejor la implementecion de la c runtime de microsoft en mvcrt.dll _strelen. (son mas lineas de codigo, pero funciona mas rapido)
Ya que si mal no recuerdo,  no lo hacia de a byte a byte sino de dwrod.

[0xDani]

La instruccion cld limpia la flag de direccion pero el repne con el scasb que hacen? No lo pillo 

[avesudra]

Hola 0xDani, REPNE repite un bucle y decrementa ECX mientras que la bandera zero no esté activada. SCASB  lo que hace es mirar si el byte de AL coincide con el byte que apunta EDI. Básicamente la instrucción SCASB sería similar a esto:

Código (asm) [Seleccionar] Expandir

CMP AL,[EDI]
INC EDI
Siguiendo con el problema que planteas el código es fácil de entender, el ciclo de REPNE termina cuando SCASB encuentra el final de la cadena. Lo más complicado de entender viene después. Que se le hace un NOT a ECX y lo disminuye en 1.
Esto tiene una explicación y es que para pasar un número de positivo a negativo, se realiza el complemento a dos. Que consiste en:
-Aplicar el NOT
-Sumar 1 al resultado obtenido.

Código [Seleccionar] Expandir

Ejemplo(negativo a positivo):
-1 en binario es 1111
NOT 1111 = 0000
0000 + 1  = 0001
Ejemplo(positivo a negativo):
1 en binario es 0001
NOT 0001 = 1110
1110 + 1  = 1111

Una vez dicho esto, para pasar de un numero positivo a negativo sería exactamente igual. Pero en el caso de esta rutina, REPNE disminuye ECX también cuando encuentra el final de cadena, y además ECX ya tenía un -1 , así que el resultado si le aplicásemos el complemento a dos directamente estaría 2 por encima del correcto. Para corregir esto , una vez aplicado el NOT , en vez de sumarle un 1 , se le resta , provocando así que de el resultado correcto.

[0xDani]

Gracias por la explicacion avesudra, pero todavia hay una cosa que no entiendo. Si SCASB compara AL con el byte al que apunta EDI, porque al principio hace:

Código (asm) [Seleccionar] Expandir

mov edi,[strInput]

Asi EDI contiene el primer byte de la cadena, no su direccion no? A mi pobre entender deberia ser:

Código (asm) [Seleccionar] Expandir

mov edi,strInput

Saludos y gracias por la ayuda!

[avesudra]

Porque será un puntero  y strInput lo que contiene es otra dirección 

[0xDani]

Que raro hubiera sido mas facil hacerlo como yo he dicho no?  ¬¬'

Pero bueno ya lo he comprendido gracias a los dos 

Saludos.

[avesudra]

Jajajaja hombre más fácil es pero lo que obtendrías en edi haciendo esto:

Código (asm) [Seleccionar] Expandir

mov edi,strInput
Sería la dirección de memoria de la variable strInput(que es un puntero), no la de la dirección a la que apunta ese puntero, que es su contenido. Es un poco lioso .Lo que puedes hacer para entenderlo mejor es compilar algún programilla y depurarlo con OllyDBG