Hello Andrew,
the following model creates unexpected output. The underlying
bug may cause a memory access error.
printf "\";
end;
If the last character of the format string is a backslash,
the printf command does not recognize the 0x00 terminator
and outputs data until reaching another 0x00.
Please apply the patch below to glpmpl03.c.
Best regards
Xypron
--- glpmpl03.c 2010-06-03 10:00:00.000000000 +0200
+++ glpmpl03.c 2010-10-28 10:54:34.154069600 +0200
@@ -5857,6 +5857,8 @@
print_char(mpl, '\t');
else if (*c == 'n')
print_char(mpl, '\n');
+ else if (*c == '\0')
+ error(mpl, "missing control letter");
else
print_char(mpl, *c);
}
--
GRATIS! Movie-FLAT mit über 300 Videos.
Jetzt freischalten unter http://portal.gmx.net/de/go/maxdome
_______________________________________________
Bug-glpk mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-glpk
