Intial work on type propgation

[sivaramaaa]

C source code :

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

void main() {
	int length, length2;
	char *final;
	char *s1 = "Hello";
	char *s2 = "World";

	length = strlen (s1);
	length2 = strlen (s2);
        if (length == length2) {
           ...
        }
	....
}

r2 output

/ (fcn) sym.main 157
|   sym.main ();
|           ; var size_t local_20h @ rbp-0x20
|           ; var size_t size @ rbp-0x1c
|           ; var char *src @ rbp-0x18
|           ; var char *s2 @ rbp-0x10
|           ; var char *dest @ rbp-0x8

|           0x000007aa      55             push rbp
|           0x000007ab      4889e5         mov rbp, rsp
|           0x000007ae      4883ec20       sub rsp, 0x20
|           0x000007b2      488d051b0100.  lea rax, str.Hello          ; 0x8d4 ; "Hello"
|           0x000007b9      488945e8       mov qword [src], rax
|           0x000007bd      488d05160100.  lea rax, str.r2_folks       ; 0x8da ; " r2-folks"
|           0x000007c4      488945f0       mov qword [s2], rax
|           0x000007c8      488b45e8       mov rax, qword [src]
|           0x000007cc      4889c7         mov rdi, rax   

• Tested with ELF - x86 arch for both 32 bit and 64 bit binaries

• Yet has to test for various architecture and lot's of improvement has to be done, which will be dealt in subsequent PR's

• Added test to r2r #1369

[XVilka]

Good catch!

[XVilka]

You might want to check how constant propagation works, could be helpful in this case.

[sivaramaaa]

yup sure !