icy17
icy17
> Greetings! Thanks for getting in touch with this question. We unfortunately don't have a super easy way at the moment to see what parts of a file made it...
@edoardopirovano Thank you for your answer. I know how to detect `re-defined` in a local scope, but when I want to detect a `re-defined` in a global scope, it become...
@MathiasVP Thank you for your answer! I got it!
And I found that the time to run the same query is different... What affects the speed of running query?
> > Is there any way （api）to do global control flow analysis? I find that getASuccessor can only get reachability within A function. How to know if a node in...
When I run a query, most of the time it shows:  that means getASuccessor cost a lot? Is there any way to make it run faster？(it costs more than...
This code is a little long, and I want to detect memory leak in a global scope, like: malloc-free ### memory leak: ``` #include #include void right(void) { char* a;...
I run a query on `postgre`, and It didn't finish in eight hours... I wonder if this is because the project is too large, and if there is a way...
...and now I check if a basicblock is controlled by `ret == NULL` in two cases: ``` if(ret == NULL) if(ret != NULL) ``` by code like that: ``` gc.controls(leakbb,...
@MathiasVP Thank you for your answer! But if I use `gc.controls(leakbb, false)`, it can't detect that bb: ``` if (ret != NULL) { ... } .... //in that bb, ret...