spingARbor issues

Repositories
Issues
Comments

Results 2 issues of


                                            spingARbor

Is it possible to add Path satisfaction analysis to SVF?

Hi, sir When I test leak checker of SVF in Juliet,I found SVF produced many false alarms when checking cases as following: ` if(condition) molloc() if(condition) free() ` (The case...

SVF fails to trace the value flow of the pointer that is transfered to the upper-layer function with a parameter

Hi,sir I wrote a Demo in which a pointer allocated in a function was transfered to the function's caller with its parameter. And ,I found the VFG of the pointer...