honghai0924

Hi Yulei, As we discussed in [https://github.com/SVF-tools/SVF/issues/109](https://github.com/SVF-tools/SVF/issues/109), I tried SUPA for context-sensitive analysis with code below: ``` #include void my_malloc(char ** p,unsigned size){ *p = malloc(size); } void use1(char *s1){...