Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

pmd

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/[email protected], github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

pmd

CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/

pmd

Resource not accessible by integration

pmd

Resource not accessible by integration

pmd

Resource not accessible by integration

checkstyle_new

Resource not accessible by integration

checkstyle_new

Resource not accessible by integration

checkstyle_new

Resource not accessible by integration

checkerFramework

qodana

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JetBrains/[email protected], github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

qodana

Resource not accessible by integration

qodana

Resource not accessible by integration

qodana

Resource not accessible by integration

'equals()' called on itself: key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L24

`compare()` called on itself

'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221

`compareToIgnoreCase()` called on itself

'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221

`compare()` called on itself

'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L229

`compare()` called on itself

'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L237

'finalize()' should not be overridden

'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L302

'finalize()' should not be overridden

'finalize()' should not be overridden: key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java#L270

'finalize()' should not be overridden

Enum 'switch' statement that misses case: key.core/src/main/java/de/uka/ilkd/key/smt/newsmt2/MasterHandler.java#L151

`switch (response) { case YES_THIS_INSTANCE -> { // handle this b...` statement on enum type 'de.uka.ilkd.key.smt.newsmt2.SMTHandler.Capability' misses case 'UNABLE'

String comparison using '==', instead of 'equals()': recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L395

String values are compared using `!=`, not 'equals()'

String comparison using '==', instead of 'equals()': recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L369

String values are compared using `==`, not 'equals()'

Deprecation notice: v1, v2, and v3 of the artifact actions

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "qodana-report". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Duplicate branches in 'switch': recoder/src/main/java/recoder/parser/JavaCCParser.java#L3866

Duplicate branch in 'switch'

Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1136

Branch in 'switch' is a duplicate of the default branch

Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1064

Branch in 'switch' is a duplicate of the default branch

Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediatePresentationProofFileParser.java#L134

Branch in 'switch' is a duplicate of the default branch

Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/speclang/njml/Translator.java#L1089

Duplicate branch in 'switch'

Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/strategy/JavaCardDLStrategy.java#L132

Duplicate branch in 'switch'