Fix offset in digest

CROSSINGTUD · Dec 7, 2023 · 5c95e47 · 5c95e47
1 parent a291d81
commit 5c95e47
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 17 deletions.
diff --git a/BouncyCastle/src/AESFastEngine.crysl b/BouncyCastle/src/AESFastEngine.crysl
@@ -1,17 +1,5 @@
 //The AESFastEngine class is deprecated and insecure. This crysl rule ensures that a AESFastEngine object is considered insecure.
 SPEC org.bouncycastle.crypto.engines.AESFastEngine
-
-OBJECTS
-	int dummy; //This section can't be empty or else the rule is marked with an error.
 
 FORBIDDEN
-	AESFastEngine() ;
-
-EVENTS	
-	c1: AESFastEngine();
-	Con := c1;
-
-ORDER
-	Con
-
-
+	AESFastEngine();
diff --git a/BouncyCastle/src/AESLightEngine.crysl b/BouncyCastle/src/AESLightEngine.crysl
@@ -1,8 +1,5 @@
 SPEC org.bouncycastle.crypto.engines.AESLightEngine
 
-OBJECTS
-	int dummy; //This section can't be empty or else the rule is marked with an error.
-
 EVENTS	
 	c1: AESLightEngine();
 	Con := c1;

diff --git a/BouncyCastle/src/SHA256Digest.crysl b/BouncyCastle/src/SHA256Digest.crysl
@@ -37,7 +37,7 @@ CONSTRAINTS
 	inputBytesOffset >= 0;
 	inputBytesLen > 0;
 	length[outputBytes] >= outputBytesOffset;
-	outputBytesOffset > 0;
+	outputBytesOffset >= 0;
 
 REQUIRES
 	generatedSHA256Digest[digest];