format-security.patch

   1 --- NuSMV-2.5.4/nusmv/src/prop/Prop.c~  2011-10-21 17:41:39.000000000 +0200
   2 +++ NuSMV-2.5.4/nusmv/src/prop/Prop.c   2012-11-14 14:47:55.753785880 +0100
   3 @@ -1634,7 +1634,7 @@
   4    }
   5
   6    indent(file);
   7 -  fprintf(file, prop);
   8 +  fputs(prop, file);
   9
  10    if (len > 40) {
  11      fprintf(file, " [...]");
  12 --- NuSMV-2.5.4/nusmv/src/cinit/cinitData.c~    2011-10-12 11:04:37.000000000 +0200
  13 +++ NuSMV-2.5.4/nusmv/src/cinit/cinitData.c     2012-11-14 14:50:21.413780736 +0100
  14 @@ -439,7 +439,7 @@
  15      else {
  16        const char* preps_fmt = "Warning: there are no available preprocessors";
  17        preps_tmp = ALLOC(char, strlen(preps_fmt) + 1);
  18 -      sprintf(preps_tmp, preps_fmt);
  19 +      sprintf(preps_tmp, "%s", preps_fmt);
  20      }
  21
  22      tmp = ALLOC(char, strlen(fmt) + strlen(preps_tmp) + 1);
  23 --- NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumper_private.h~      2011-10-12 11:04:37.000000000 +0200
  24 +++ NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumper_private.h       2012-11-14 14:57:59.607097908 +0100
  25 @@ -106,13 +106,13 @@
  26  #define _HRC_DUMP_STR(x)          \
  27    {                               \
  28      hrc_dumper_dump_indent(self); \
  29 -    fprintf(self->fout, x);       \
  30 +    fputs(x, self->fout);       \
  31    }
  32
  33  #define _HRC_DUMP_STR_NL(x)                                           \
  34    {                                                                   \
  35      hrc_dumper_dump_indent(self);                                     \
  36 -    fprintf(self->fout, x);                                           \
  37 +    fputs(x, self->fout);                                           \
  38      hrc_dumper_nl(self);                                              \
  39    }
  40
  41 --- NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumperXml_private.h~   2011-10-12 11:04:37.000000000 +0200
  42 +++ NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumperXml_private.h    2012-11-14 14:59:17.827095149 +0100
  43 @@ -92,7 +92,7 @@
  44  #define _HRC_DUMP_STR_NL(x)                                           \
  45    {                                                                   \
  46      hrc_dumper_dump_indent(self);                                     \
  47 -    fprintf(self->fout, x);                                           \
  48 +    fputs(x, self->fout);                                           \
  49      if (self->use_indentation) {                                      \
  50        hrc_dumper_nl(self);                                            \
  51      }                                                                 \
  52 --- NuSMV-2.5.4/nusmv/src/addons_core/compass/sigref/sigrefWrite.c~     2011-10-12 11:04:36.000000000 +0200
  53 +++ NuSMV-2.5.4/nusmv/src/addons_core/compass/sigref/sigrefWrite.c      2012-11-14 15:00:08.280426703 +0100
  54 @@ -509,7 +509,7 @@
  55
  56    DdManager* dd = BddEnc_get_dd_manager(enc);
  57
  58 -  fprintf(file, SIGREF_HEADER);
  59 +  fprintf(file, "%s", SIGREF_HEADER);
  60    fprintf(file, "\n<%s ", MODEL_TAG);
  61    fprintf(file, MODEL_FM, MODEL_TYPE);
  62    fprintf(file, ">\n");