A Treasure Map for Static Analysis in C Language
At the end of the article on pointer handling (click here to view), we mentioned the functionality of generating side-effects for pointers: #include <stdio.h> int test(int a,int b,int* c){ *c = a + b; return 0; } int main(){ int a=1,b=2,c; test(a,b,&c); printf("%d\n",c); return 0; } When analyzing data flow using printf(* #-> as $a), … Read more
