GSoC’18 Final: Type inference

GSoC has almost been finished. I would like to summarize my work done so far this summer. The goal of this task was to integrate types handling into the radare2 analysis loop, including automatic inference and suggestions. Example C - source code #include <stdio.h> #include <stdlib.h> #include <string.h> void main() { int length, length2; char *final; char *s1 = "Hello"; char *s2 = " r2-folks"; length = strlen (s1); length2 = strlen (s2); } Before my work