Skip to content
Run CogniCrypt static analysis

Update cognicrypt.yml #3

Sign in to view logs

Update cognicrypt.yml

Update cognicrypt.yml #3

Triggered via push March 20, 2024 12:40
@smeyer198smeyer198
pushed f03b417
main
Status Failure
Total duration 1m 56s
Artifacts –

cognicrypt.yml

on: push
cognicrypt
1m 47s
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/fieldsensitivity/truepositive/staticiv/StaticIv1.java#L42
Third parameter was not properly generated as preparedGCM
RequiredPredicateError violating CrySL rule for javax.crypto.spec.IvParameterSpec: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/staticiv/StaticIv1.java#L41
First parameter was not properly generated as randomized
IncompleteOperationError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/staticiv/StaticIv1.java#L42
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/fieldsensitivity/truepositive/staticiv/CorrectedIv.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/fieldsensitivity/truepositive/staticiv/CorrectedIv.java#L41
Third parameter was not properly generated as preparedGCM
RequiredPredicateError violating CrySL rule for javax.crypto.SecretKey: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/brokencrypto/BrokenCrypto1.java#L33
Return value was not properly generated as generatedKey
ConstraintError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/brokencrypto/BrokenCrypto1.java#L31
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}
ConstraintError violating CrySL rule for javax.crypto.KeyGenerator: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/brokencrypto/BrokenCrypto1.java#L32
First parameter (with value "DES") should be any of {AES, HmacSHA256, HmacSHA384, HmacSHA512}
RequiredPredicateError violating CrySL rule for javax.crypto.Cipher: CamBench_Cap/src/main/java/org/cambench/cap/fieldsensitivity/truepositive/brokencrypto/BrokenCrypto1.java#L33
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/truepositive/brokencrypto/BrokenCrypto1.java#L33
Operation on object of type javax.crypto.Cipher not completed. Expected call to update, updateAAD, wrap, doFinal
cognicrypt
There are more violations than the GitHub annotations interface displays. Please check the log for additional violations.
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/.