codeql/utils at 4f3b709eeabd573ea8c49c68c448376a79df865d - codeql - Gitea: Git with a cup of tea

hohn/codeql

mirror of https://github.com/github/codeql.git synced 2026-05-31 03:21:23 +02:00

Files

History

Michael Nebel a412c955e7 Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.

2022-08-24 09:58:54 +02:00

..

model-generator

Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.

2022-08-24 09:58:54 +02:00