Skip to content
Run CogniCrypt static analysis

Update README.md #6

Sign in to view logs

Update README.md

Update README.md #6

Triggered via push July 23, 2024 17:42
@schlichtigschlichtig
pushed f94edaa
main
Status Failure
Total duration 3m 54s
Artifacts –

cognicrypt.yml

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

Annotations

10 errors and 2 warnings
RequiredPredicateError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/insecurerandom/InsecureRandom1.java#L41
Third parameter was not properly generated as preparedGCM
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/insecurerandom/InsecureRandom1.java#L41
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/brokencrypto/BrokenCrypto1.java#L32
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/ecbmode/EcbMode1.java#L32
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/staticiv/StaticIv1.java#L41
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/contextsensitivity/falsepositive/staticiv/StaticIv1.java#L41
Third parameter was not properly generated as preparedGCM
RequiredPredicateError violating CrySL rule for java.security.PublicKey: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/smallkeysize/SmallKeySize1.java#L37
Return value was not properly generated as generatedPubkey
ConstraintError violating CrySL rule for java.security.KeyPairGenerator: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/smallkeysize/SmallKeySize1.java#L34
First parameter (with value 2048) should be any of {4096, 3072}
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/contextsensitivity/falsepositive/smallkeysize/SmallKeySize1.java#L37
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/contextsensitivity/falsepositive/smallkeysize/SmallKeySize1.java#L37
Second parameter was not properly generated as generatedPrivkey OR generatedPubkey OR generatedKey
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/