Generalize ParsableVariable and Schemavariables #2392
Drodtcode_quality.yml
on: pull_request
checkerFramework
1m 42s
qodana
4m 38s
formatting
51s
checkstyle_new
1m 27s
pmd
1m 26s
Annotations
19 warnings and 3 notices
|
formatting
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/.
|
|
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/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/.
|
|
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/
|
|
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/
|
|
checkerFramework
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/.
|
|
qodana
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/.
|
|
qodana
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/
|
|
Redundant 'Collection.addAll()' call:
key.core.symbolic_execution/src/test/java/de/uka/ilkd/key/symbolic_execution/testcase/util/TestSymbolicExecutionUtil.java#L154
'putAll()' call can be replaced with parametrized constructor call
|
|
Constant conditions & exceptions:
key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/TacletDescriber.java#L29
Condition `!started` is always `true`
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/rule/tacletbuilder/TacletGenerator.java#L421
Argument `targetSVReachable` might be null
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/rule/tacletbuilder/TacletGenerator.java#L999
Argument `targetLVReachable` might be null
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/nparser/builder/ExpressionBuilder.java#L1502
Dereference of `args` may produce `NullPointerException`
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/rule/AuxiliaryContractBuilders.java#L634
Condition `LocationVariable.class::isInstance` is redundant and can be replaced with a null check
|
|
Copy constructor misses field:
key.core/src/main/java/de/uka/ilkd/key/java/recoderext/ExpressionSVWrapper.java#L29
Copy constructor does not copy fields 'suff' and 'statementParent'
|
|
Cast conflicts with 'instanceof':
key.core/src/main/java/de/uka/ilkd/key/rule/metaconstruct/ExpandMethodBody.java#L73
Cast to 'LocationVariable' type conflicts with preceding 'instanceof ProgramVariable' check
|
|
Mismatched query and update of collection:
key.core/src/main/java/de/uka/ilkd/key/speclang/FunctionalOperationContractImpl.java#L717
Contents of collection `atPresVars` are updated, but never queried
|
|
Too weak variable type leads to unnecessary cast:
key.core/src/main/java/de/uka/ilkd/key/speclang/AuxiliaryContract.java#L1162
Cast may be removed by changing the type of 'var' to 'LocationVariable'
|
|
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/
|
|
Constant conditions & exceptions:
key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/TacletDescriber.java#L29
Value `started` is always 'false'
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/speclang/dl/translation/DLSpecFactory.java#L144
Method `extractParamVars` is too complex to analyze by data flow algorithm
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/util/InfFlowProgVarRenamer.java#L240
Method `restrictToProgramVariables` is too complex to analyze by data flow algorithm
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
14.5 MB |
|