Skip to content
CodeQuality

Proof caching: use dependency graph to increase hit rate #1970

Sign in to view logs

Proof caching: use dependency graph to increase hit rate

Proof caching: use dependency graph to increase hit rate #1970

Triggered via pull request January 11, 2024 09:54
@FliegendeWurstFliegendeWurst
synchronize #3305
FliegendeWurst:caching-sliced
Status Success
Total duration 3m 55s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

code_quality.yml

on: pull_request
qodana
3m 44s
qodana
formatting
50s
formatting
checkstyle_new
1m 16s
checkstyle_new
pmd
1m 17s
pmd
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 5 notices
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L347
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L285
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L351
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L281
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchTable.java#L29
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchButton.java#L36
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/GotoReferenceAction.java#L21
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/GotoReferenceAction.java#L20
Non-serializable field 'mediator' in a Serializable class
'@Serial' annotation could be used: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchDialog.java#L26
`serialVersionUID` can be annotated with '@serial' annotation
Constant conditions & exceptions: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingSettingsProvider.java#L87
Method invocation `toString` may produce `NullPointerException`
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L384
Value `toCheck` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L385
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L386
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L426
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L431
Value `edge2` is always 'null'

Artifacts

Produced during runtime
Name Size
qodana-report Expired
14.1 MB