Commiting Merge of changes made in semester and ver 2.5M

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index fb59d95be87f6773619e6a8c12311432a2c4cec0..2ac68654a08a33256234dba120a51e64c08a37d0 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2756,6 +2756,22 @@ NULL, NULL,
        "nullref, nullassign, and nullstate).",
   0, 0
   },
+{
+  FK_NT, FK_MEMORY, modeFlag,
+  "nullterminated",
+  FLG_NULLTERMINATED,
+  "misuse of nullterminated allocation",
+  "A possibly non-nullterminated string/memory is used/referenced as a nullterminated one,  ",
+  0, 0
+},
+{
+  FK_NT, FK_MEMORY, modeFlag,
+  "nullterminated",
+  FLG_NULLTERMINATEDWARNING,
+  "misuse of nullterminated allocation",
+  "WARNING:A user annotated non-nullterminated buffer is used/referenced as a nullterminated one,  ",
+  0, 0
+},
 {
   FK_NULL, FK_MEMORY, modeFlag,
   "nullderef",