Mathias Vorreiter Pedersen

> Do you know where to find the total number of results for cpp/unused-static-function in the DCA run? Losing 236 is a lot, but I have a feeling its a...

> Just to be sure, this does not need a review of the security lab? Yes, it will. It will be merged once Security Lab has reviewed it and are...

Also just a minor question about the title of the PR: There's nothing "prototypy" about this query anymore, right? That is, this is a fully-fledged query that we expect to...

Hi @icy17, The good news: The code you've written looks fine! The bad news: `test4` is just a really difficult example for our dataflow library. The reason is as follows:...

> Why is this relevant? Doesn't this just indicate that you have a poor join-order somewhere else? Hmm, actually you might be right. I'll turn this into a draft and...

> 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 a...

There are probably ways to make it faster, yes. First of all: What are you trying to do? Can you paste in all of your QL code (preferably not as...

Regarding your first question: > So Do I have to consider the following four cases? > ```cpp > if(ret == NULL) //comparesEq(ret, null, 0, true, true)) > if(ret != NULL)...

> ...and now I check if a basicblock is controlled by `ret == NULL` in two cases: > > ``` > if(ret == NULL) > if(ret != NULL) > ```...

> I like the idea but I'm not following the parameterized module tricks you're doing. Thanks! I'll add some comments to explain what's going on. The code looks slightly uglier...