codeql icon indicating copy to clipboard operation
codeql copied to clipboard

Published 20 hours ago • verified publisher icon github

Java: Add support for flow through side-effects on static fields.

Open aschackmull opened this issue 1 year ago • 2 comments

Fixes https://github.com/github/codeql/issues/15972

aschackmull avatar May 15 '24 13:05 aschackmull

There are a bunch of additional results. The steps provided by this PR look reasonable, but it appears that I'm running into trouble with a bunch of the generated java.time.* models. Are those models reasonable? Or would it make sense to bulk-ditch them? I don't know if they're the primary culprit, but they might be.

aschackmull avatar May 17 '24 11:05 aschackmull

:warning: The head of this PR and the base branch were compared for differences in the framework coverage reports. A recent commit removed the previously reported differences.

github-actions[bot] avatar May 17 '24 13:05 github-actions[bot]

I've accumulated several different things on this PR now - I'll split the independent changes into separate PRs: https://github.com/github/codeql/pull/16550 https://github.com/github/codeql/pull/16551 https://github.com/github/codeql/pull/16552

aschackmull avatar May 22 '24 08:05 aschackmull

I've rebased this PR, as the 3 spinoff PRs are now merged, so this PR is back to being nice and simple.

aschackmull avatar May 23 '24 11:05 aschackmull