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);

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();
+    }
+}