From 8e9099ff4ea3a0eb4af606eb55d523094df12597 Mon Sep 17 00:00:00 2001 From: Sven Meyer Date: Wed, 28 May 2025 11:20:35 +0200 Subject: [PATCH] Remove not needed call to getIV --- BouncyCastle-JCA/src/Cipher.crysl | 5 ----- JavaCryptographicArchitecture/src/Cipher.crysl | 5 ----- 2 files changed, 10 deletions(-) diff --git a/BouncyCastle-JCA/src/Cipher.crysl b/BouncyCastle-JCA/src/Cipher.crysl index 91513d1..e943ad6 100644 --- a/BouncyCastle-JCA/src/Cipher.crysl +++ b/BouncyCastle-JCA/src/Cipher.crysl @@ -78,9 +78,6 @@ EVENTS wkb1: wrappedKeyBytes = wrap(wrappedKey); WKB := wkb1; - iv1: getIV(); - IV := iv1; - ORDER Get, Init+, AADUpdate*, WKB+ | (FINWOU | (Update+, DoFinal))+ @@ -110,8 +107,6 @@ CONSTRAINTS alg(transformation) in {"Tnepres"} && mode(transformation) in {"CFB", "OFB"} => pad(transformation) in {"NoPadding"}; mode(transformation) in { "CTR", "CTS", "CFB", "OFB", "CCM"} && encmode != 1 => noCallTo[IWOIV]; - mode(transformation) in {"CTR", "CTS", "CFB", "OFB", "CCM"} && encmode == 1 => callTo[IV]; - mode(transformation) in {"CTR", "CTS", "CFB", "ECB", "OFB"} => noCallTo[AADUpdate]; encmode in {1,2,3,4}; diff --git a/JavaCryptographicArchitecture/src/Cipher.crysl b/JavaCryptographicArchitecture/src/Cipher.crysl index 6a8e056..9d70309 100644 --- a/JavaCryptographicArchitecture/src/Cipher.crysl +++ b/JavaCryptographicArchitecture/src/Cipher.crysl @@ -78,9 +78,6 @@ EVENTS wkb1: wrappedKeyBytes = wrap(wrappedKey); WKB := wkb1; - iv1: getIV(); - IV := iv1; - ORDER Get, Init+, AADUpdate*, WKB+ | (FINWOU | (Update+, DoFinal))+ @@ -109,8 +106,6 @@ CONSTRAINTS alg(transformation) in {"AES"} && mode(transformation) in {"GCM", "CTR", "CTS", "CFB", "OFB"} => pad(transformation) in {"NoPadding"}; mode(transformation) in {"CTR", "CTS", "CFB", "OFB"} && encmode != 1 => noCallTo[IWOIV]; - mode(transformation) in {"CTR", "CTS", "CFB", "OFB"} && encmode == 1 => callTo[IV]; - mode(transformation) in {"CTR", "CTS", "CFB", "ECB", "OFB"} => noCallTo[AADUpdate];