Add test case from #208

CryptoAnalysis/src/test/java/tests/headless/ReportedIssueTest.java

@@ -20,6 +20,9 @@ public void reportedIssues() {
 		HeadlessCryptoScanner scanner = createScanner(mavenProject);
 
 		setErrorsCount("<issueseeds.Main: void main(java.lang.String[])>", RequiredPredicateError.class, 1);
+
+		setErrorsCount("<issue208.Issue208WithSingleEntryPoint: void encryptImpl()>", RequiredPredicateError.class, 0);
+		setErrorsCount("<issue208.Issue208WithMultipleEntryPoints: void encryptImpl()>", RequiredPredicateError.class, 1);
 
 		setErrorsCount("<issue81.Encryption: byte[] encrypt(byte[],javax.crypto.SecretKey)>", ConstraintError.class, 1);
 		setErrorsCount("<issue81.Encryption: byte[] encrypt(byte[],javax.crypto.SecretKey)>", RequiredPredicateError.class, 1);
@@ -43,6 +46,9 @@ public void reportedIssues() {
 		setErrorsCount("<issue70.ClientProtocolDecoder: byte[] decryptAES(byte[])>", ConstraintError.class, 1);
 		setErrorsCount("<issue70.ClientProtocolDecoder: byte[] decryptAES(byte[])>", RequiredPredicateError.class, 3);
 
+		setErrorsCount("<issue69.Issue69: void encryptByPublicKey(java.lang.String)>", IncompleteOperationError.class, 1);
+		setErrorsCount("<issue69.Issue69: void encryptByPublicKey(java.lang.String)>", RequiredPredicateError.class, 4);
+
 		// TODO toCharArray() is not currently not considered when evaluating NeverTypeOfErrors
 		setErrorsCount("<issue68.AESCryptor: byte[] getKey(java.lang.String)>", NeverTypeOfError.class, 0);
 		setErrorsCount("<issue68.AESCryptor: byte[] getKey(java.lang.String)>", RequiredPredicateError.class, 3);

CryptoAnalysisTargets/ReportedIssues/pom.xml

@@ -15,4 +15,12 @@
       </plugin>
     </plugins>
   </build>
+
+  <dependencies>
+    <dependency>
+      <groupId>commons-codec</groupId>
+      <artifactId>commons-codec</artifactId>
+      <version>1.10</version>
+    </dependency>
+  </dependencies>
 </project>

CryptoAnalysisTargets/ReportedIssues/src/main/java/issue208/Issue208WithMultipleEntryPoints.java

@@ -0,0 +1,19 @@
+package issue208;
+
+import javax.crypto.spec.IvParameterSpec;
+import java.security.SecureRandom;
+
+public class Issue208WithMultipleEntryPoints {
+
+    private final SecureRandom secureRandom = new SecureRandom();
+
+    private static final int IV_LENGTH = 32;
+
+    private void encryptImpl() {
+        byte[] iv = new byte[IV_LENGTH];
+        secureRandom.nextBytes(iv);
+
+        // iv has to ensure 'randomized'
+        IvParameterSpec ivParameterSpec = new IvParameterSpec(iv);
+    }
+}

CryptoAnalysisTargets/ReportedIssues/src/main/java/issue208/Issue208WithSingleEntryPoint.java

@@ -0,0 +1,25 @@
+package issue208;
+
+import javax.crypto.spec.IvParameterSpec;
+import java.security.SecureRandom;
+
+public class Issue208WithSingleEntryPoint {
+
+    private final SecureRandom secureRandom = new SecureRandom();
+
+    private static final int IV_LENGTH = 32;
+
+    private void encryptImpl() {
+        byte[] iv = new byte[IV_LENGTH];
+        secureRandom.nextBytes(iv);
+
+        IvParameterSpec ivParameterSpec = new IvParameterSpec(iv);
+    }
+
+    public static void main(String[] args) {
+        // Method 'main' is the single entry point -> Instantiate SecureRandom seed and
+        // use it in 'encryptImpl'
+        Issue208WithSingleEntryPoint issue208 = new Issue208WithSingleEntryPoint();
+        issue208.encryptImpl();
+    }
+}

CryptoAnalysisTargets/ReportedIssues/src/main/java/issue69/Issue69.java

@@ -0,0 +1,25 @@
+package issue69;
+
+import org.apache.commons.codec.binary.Base64;
+
+import javax.crypto.Cipher;
+import java.security.Key;
+import java.security.KeyFactory;
+import java.security.spec.X509EncodedKeySpec;
+
+public class Issue69 {
+
+	private static final String KEY_ALGORITHM = "RSA";
+
+	public void encryptByPublicKey(String publicKey) throws Exception {
+		byte[] keyBytes = new Base64().decode(publicKey.getBytes());
+		X509EncodedKeySpec x509KeySpec = new X509EncodedKeySpec(keyBytes);
+		KeyFactory keyFactory = KeyFactory.getInstance(KEY_ALGORITHM);
+		Key publicK = keyFactory.generatePublic(x509KeySpec);
+
+		Cipher cipher = Cipher.getInstance(keyFactory.getAlgorithm());
+
+		// RequiredPredicateError because no predicate is ensured on 'keyBytes'
+		cipher.init(Cipher.ENCRYPT_MODE, publicK);
+	}
+}