Saikat Dutta
Saikat Dutta
No, it randomly stops, at around ~10%
No, it is different.
Any ideas on how to debug this?
Thanks @mbg. Overriding the `toString` of DataFlow Node works well!
Hi CodeQL devs, re-opening this issue because I ran into a problem. I tried something like this: ```CodeQL bindingset[n] string getFullName(DataFlow::Node n){ result = (n.asExpr().(Call)).getCallee().getDeclaringType().getQualifiedName() + "." + (n.asExpr().(Call)).getCallee().getName() or...
So codeql just takes a very long time to generate the csv/sarif files after the "Interpreting results" stage. I waited for 10-15 mins and then killed it. Ofc, it finishes...
Sorry about the missing details. Yes, I am using the codeql cli 2.15.3. I use `database analyze --rerun [db_dir] --format=sarif-latest --output=results.sarif [query_path]` I am using a custom version of the...
Thanks a lot @mbg! I will try it out. While we are on this, another question for you: Is there an easy way to specify summaries with a custom tag?...