Skip to content

Update SmallKeySize2.java #1

Update SmallKeySize2.java

Update SmallKeySize2.java #1

Triggered via push February 20, 2024 13:37
Status Failure
Total duration 2m 56s
Billable time 3m
Artifacts

cognicrypt.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 1 warning
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/brokencrypto/BrokenCrypto1.java#L34
Operation on object of type javax.crypto.Cipher object not completed. Expected call to update, updateAAD, wrap, doFinal
ConstraintError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/brokencrypto/BrokenCrypto1.java#L32
First parameter (with value "DES") should be any of {AES, PBEWithHmacSHA224AndAES_128, PBEWithHmacSHA256AndAES_128, PBEWithHmacSHA384AndAES_128, PBEWithHmacSHA512AndAES_128, PBEWithHmacSHA224AndAES_256, PBEWithHmacSHA256AndAES_256, PBEWithHmacSHA384AndAES_256, PBEWithHmacSHA512AndAES_256}
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/brokencrypto/CorrectedCrypto.java#L35
Operation on object of type javax.crypto.Cipher object 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/interprocedural2/truepositive/staticiv/CorrectedIv.java#L43
Operation on object of type javax.crypto.Cipher object 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/interprocedural2/truepositive/staticiv/StaticIv1.java#L39
Operation on object of type javax.crypto.Cipher object not completed. Expected call to update, updateAAD, wrap, doFinal
cognicrypt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v3, actions/cache/restore@v3, stCarolas/setup-maven@v4.5, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.