Skip to content
Run CogniCrypt static analysis

Update cognicrypt.yml v3.1.2 #9

Sign in to view logs

Update cognicrypt.yml v3.1.2

Update cognicrypt.yml v3.1.2 #9

Triggered via push August 2, 2024 15:24
@schlichtigschlichtig
pushed c17c1fd
schlichtig-patch-2
Status Failure
Total duration 4m 13s
Artifacts –

cognicrypt.yml

on: push
cognicrypt
4m 2s
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}
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 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
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 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
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
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.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
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
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}
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/