CodeQuality

Generalizing Logic Data Structures #1995

Sign in to view logs

Triggered via pull request January 29, 2024 10:10

Drodt

synchronize #3357

Drodt:extract-new-core

Status Success

Total duration 7m 3s

Artifacts 1

code_quality.yml

on: pull_request

Annotations

17 warnings and 10 notices

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

checkstyle_new

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, 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/.

checkstyle_new

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/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, 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/.

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/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JetBrains/qodana-action@v2022.3.0, 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/.

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/

'equals()' and 'hashCode()' not paired: key.core/src/main/java/de/uka/ilkd/key/logic/sort/SortImpl.java#L18

Class has `equals()` defined but does not define `hashCode()`

'equals()' and 'hashCode()' not paired: key.core/src/main/java/de/uka/ilkd/key/logic/op/SortDependingFunction.java#L28

Class has `hashCode()` defined but does not define `equals()`

'equals()' and 'hashCode()' not paired: key.ncore/src/main/java/org/key_project/logic/sort/AbstractSort.java#L14

Class has `equals()` defined but does not define `hashCode()`

Non-serializable field in a 'Serializable' class: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/TermLabelMenu.java#L183

Non-serializable field 'labelName' in a Serializable class

Non-serializable field in a 'Serializable' class: key.core/src/main/java/de/uka/ilkd/key/rule/tacletbuilder/TacletBuilder.java#L334

Non-serializable field 'tacletname' in a Serializable class

Non-serializable field in a 'Serializable' class: key.ui/src/main/java/de/uka/ilkd/key/gui/mergerule/MergePartnerSelectionDialog.java#L73

Non-serializable field 'mergeGoalPio' in a Serializable class

Call to default 'toString()': key.core/src/main/java/de/uka/ilkd/key/speclang/LoopContractImpl.java#L904

Call to default 'toString()' on `variables`

Call to default 'toString()': key.core/src/main/java/de/uka/ilkd/key/speclang/BlockContractImpl.java#L212

Call to default 'toString()' on `variables`

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/LightweightSyntacticalReplaceVisitor.java#L183

Variable is already assigned to this value

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/FindTaclet.java#L110

Variable is already assigned to this value

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L367

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L367

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L374

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L374

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L385

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L385

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L391

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L391

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/conditions/SimplifyIfThenElseUpdateCondition.java#L103

Method `collect` is too complex to analyze by data flow algorithm

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/conditions/TypeCondition.java#L88

Value `isReference` is always 'true'

Artifacts

Produced during runtime

Name	Size
qodana-report Expired	15.5 MB