--- dddmp/dddmpDbg.c.orig	2015-07-01 10:09:02.000000000 -0600
+++ dddmp/dddmpDbg.c	2016-01-21 20:51:29.882757970 -0700
@@ -98,7 +98,8 @@ Dddmp_cuddBddDisplayBinary(
   while (fgets(buf, 999,fp)!=NULL) {
     fprintf (fpo, "%s", buf);
     if (strncmp(buf, ".nnodes", 7) == 0) {
-      sscanf (buf, "%*s %d", &nnodes);
+      if (sscanf (buf, "%*s %d", &nnodes) <= 0)
+        break;
     }
     if (strncmp(buf, ".rootids", 8) == 0) {
       break;
--- epd/epd.c.orig	2015-09-16 19:23:56.000000000 -0600
+++ epd/epd.c	2016-01-21 20:49:19.071361403 -0700
@@ -891,7 +891,8 @@ EpdGetExponentDecimal(double value)
 
   sprintf(str, "%E", value);
   pos = strstr(str, "E");
-  sscanf(pos, "E%d", &exponent);
+  if (sscanf(pos, "E%d", &exponent) <= 0)
+    exponent = 0;
   return(exponent);
 }