codeql icon indicating copy to clipboard operation
codeql copied to clipboard

C++: Do not generate IR for functions with multiple entry points

Open jketema opened this issue 1 year ago • 4 comments
trafficstars

Pull Request checklist

All query authors

Internal query authors only

  • [ ] Autofixes generated based on these changes are valid, only needed if this PR makes significant changes to .ql, .qll, or .qhelp files. See the documentation (internal access required).
  • [ ] Changes are validated at scale (internal access required).
  • [ ] Adding a new query? Consider also adding the query to autofix.

jketema avatar Oct 08 '24 14:10 jketema

The DCA looks like it's gotten quite stuck. I just merged https://github.com/github/codeql-dca/pull/2274, so you can re-run it and try out the new nightly-buildless.yml source suite. I recommend using the latest main in semmle-code as that also has various BMN fixes. There may still be some timeouts ("No source found"), which could be rescued by re-running the job.

I'm currently fixing the No source found error, so we are close to having a working and actually usable DCA suite!

calumgrant avatar Oct 11 '24 15:10 calumgrant

Let's wait until we have a fix for the "No source found" issue. Then, I'll rebase and we can try again.

jketema avatar Oct 11 '24 15:10 jketema

The (potential) fix is here: https://github.com/github/semmle-code/pull/51475

DCA has just started so we'll need to wait for that.

calumgrant avatar Oct 11 '24 15:10 calumgrant

Rebased and started a new BMN experiment.

jketema avatar Oct 15 '24 13:10 jketema

We lose quite a lot of results in buildless

The question is whether those "results" were actually results, or just very confusing non-results. In a lot of cases I expect the latter, but this needs to be properly measured.

jketema avatar Oct 31 '24 13:10 jketema