example violation annotation #1
Open
Annotations
10 errors and 1 warning
|
Run CogniCrypt:
CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/brokencrypto/BrokenCrypto1.java#L33
First parameter (with value "DES") should be any of {AES, HmacSHA256, HmacSHA384, HmacSHA512}
|
|
Run CogniCrypt:
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
|
|
Run CogniCrypt:
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}
|
|
Run CogniCrypt:
CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/brokencrypto/BrokenCrypto1.java#L34
Second parameter was not properly generated as generatedPrivkey OR generatedPubkey OR generatedKey
|
|
Run CogniCrypt:
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
|
|
Run CogniCrypt:
CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/staticiv/CorrectedIv.java#L43
Third parameter was not properly generated as preparedGCM
|
|
Run CogniCrypt:
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
|
|
Run CogniCrypt:
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
|
|
Run CogniCrypt:
CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/staticiv/StaticIv1.java#L38
First parameter was not properly generated as randomized
|
|
Run CogniCrypt:
CamBench_Cap/src/main/java/org/cambench/cap/interprocedural2/truepositive/staticiv/StaticIv1.java#L39
Third parameter was not properly generated as preparedGCM
|
|
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/.
|
The logs for this run have expired and are no longer available.
Loading