SUPA

SUPA copied to clipboard

When I used SVF to process Zephyr kernel codes, I found something wrong. First, I ran cmake and got some files named build.make. Then I replaced 'clang' with 'wllvm' in...

tluio

dvf double free error

2

Hi Yulei, I was using doing pointer analysis on example.c with dvf, ``` // example.c int a_global = 1; int b_global = 2; struct tag { int tag_id; char tag_ch;...

XiaZhouZero

The issue is most probably from SVF project, but still, I have found it from SUPA, I am reporting it here. If there is an indirect call to a class...

mustakimur

Tell the different objects from custom alloc functions with SUPA

1

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){...

honghai0924