Skip to content
Run CogniCrypt static analysis

Merge pull request #4 from CROSSINGTUD/schlichtig-patch-2 #10

Sign in to view logs

Merge pull request #4 from CROSSINGTUD/schlichtig-patch-2

Merge pull request #4 from CROSSINGTUD/schlichtig-patch-2 #10

Triggered via push August 2, 2024 15:39
@schlichtigschlichtig
pushed 021e333
main
Status Failure
Total duration 4m 12s
Artifacts –

cognicrypt.yml

on: push
cognicrypt
4m 3s
cognicrypt
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 2 warnings
ConstraintError violating CrySL rule for java.security.KeyPairGenerator: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/SmallKeySize1.java#L36
First parameter (with value 1024) should be any of {4096, 3072}
RequiredPredicateError violating CrySL rule for java.security.PublicKey: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/SmallKeySize1.java#L39
Return value was not properly generated as generatedPubkey
RequiredPredicateError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/SmallKeySize1.java#L39
Second parameter was not properly generated as generatedPrivkey OR generatedPubkey OR generatedKey
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/SmallKeySize1.java#L39
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
RequiredPredicateError violating CrySL rule for java.security.KeyPair: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/SmallKeySize1.java#L37
Return value was not properly generated as generatedKeypair
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/CorrectedKeySize.java#L38
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
RequiredPredicateError violating CrySL rule for java.security.PublicKey: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/CorrectedKeySize.java#L38
Return value was not properly generated as generatedPubkey
RequiredPredicateError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/CorrectedKeySize.java#L38
Second parameter was not properly generated as generatedPrivkey OR generatedPubkey OR generatedKey
ConstraintError violating CrySL rule for java.security.KeyPairGenerator: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/CorrectedKeySize.java#L35
First parameter (with value 2048) should be any of {4096, 3072}
RequiredPredicateError violating CrySL rule for java.security.KeyPair: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/advanced/fielddepth2/truepositive/smallkeysize/CorrectedKeySize.java#L36
Return value was not properly generated as generatedKeypair
cognicrypt
There are more violations than the GitHub annotations interface displays. Please check the log for additional violations.
cognicrypt
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-java@v3, actions/cache/restore@v3, stCarolas/setup-maven@v4.5, actions/cache/save@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/