Adding ProVerif directory verification

src/myutil/FileUtils.java

@@ -46,7 +46,7 @@
 package myutil;
 
 import java.io.*;
-
+import java.nio.file.*;
 
 
 public class FileUtils {
@@ -78,9 +78,14 @@ public class FileUtils {
         return ext;
     }
 
+
+    public static boolean checkPath(String path) {
+	return new File(path).isDirectory();
+    }
+
     public static boolean checkFileForSave(File file) throws FileException {
-   //     boolean ok = true;
-    //    String pb = "";
+        //     boolean ok = true;
+        //    String pb = "";
 
         if (file == null) {
             return false;
@@ -238,8 +243,8 @@ public class FileUtils {
     }
 
     public static void saveFile(String name, String data) throws FileException {
-	 File f = new File(name);
-	 saveFile(f, data);
+        File f = new File(name);
+        saveFile(f, data);
     }
 
 

src/ui/window/JDialogProverifVerification.java

@@ -383,7 +383,14 @@ public class JDialogProverifVerification extends javax.swing.JDialog implements
 
                 if (pathCode.isEmpty()){
                     pathCode="pvspec";
-                }
+                } else {
+		    if (!FileUtils.checkPath(pathCode)) {
+			jta.append("Error: invalid directory: " + pathCode + "\n");
+			mode =      STOPPED;
+			setButtons();
+			return;
+		    }
+		}
 
                 testFile = new File(pathCode);