]> andersk Git - splint.git/commitdiff
*** empty log message ***
authordrl7x <drl7x>
Tue, 24 Jul 2001 17:52:12 +0000 (17:52 +0000)
committerdrl7x <drl7x>
Tue, 24 Jul 2001 17:52:12 +0000 (17:52 +0000)
test/moreBufferTests/strncatNotReallyGood.c [new file with mode: 0644]
test/moreBufferTests/strncatReallyGood.c [new file with mode: 0644]

diff --git a/test/moreBufferTests/strncatNotReallyGood.c b/test/moreBufferTests/strncatNotReallyGood.c
new file mode 100644 (file)
index 0000000..a6e46c5
--- /dev/null
@@ -0,0 +1,6 @@
+                void NotGoodfunc(char *str)
+                {
+                    char buffer[256];
+                    strncat(buffer, str, sizeof(buffer) - 1);
+                    return;
+                }
diff --git a/test/moreBufferTests/strncatReallyGood.c b/test/moreBufferTests/strncatReallyGood.c
new file mode 100644 (file)
index 0000000..cfcc586
--- /dev/null
@@ -0,0 +1,13 @@
+char SOME_STRING[1000] = {"kdlsjfklds;fjkls;djflksdjflkdsjfklsdjfkl;sjfklsdjfkl;jsdflk;jsdl;fjsdlkfjsdklf;jds;lfjskdl;fjkls;dfjlkds;jfkl;sjdfk;ldsjklnvklsnbklsdnblkdlsjfklds;fjkls;djflksdjflkdsjfklsdjfkl;sjfklsdjfkl;jsdflk;jsdl;fjsdlkfjsdklf;jds;lfjskdl;fjkls;dfjlkds;jfkl;sjdfk;ldsjklnvklsnbklsdnblkdlsjfklds;fjkls;djflksdjflkdsjfklsdjfkl;sjfklsdjfkl;jsdflk;jsdl;fjsdlkfjsdklf;jds;lfjskdl;fjkls;dfjlkds;jfkl;sjdfk;ldsjklnvklsnbklsdnblkdlsjfklds;fjkls;djflksdjflkdsjfklsdjfkl;sjfklsdjfkl;jsdflk;jsdl;fjsdlkfjsdklf;jds;lfjskdl;fjkls;dfjlkds;jfkl;sjdfk;ldsjklnvklsnbklsdnbl"};
+
+void funcGood(char *str)
+{
+  char buffer[256];
+
+  strncpy (buffer, SOME_STRING, 255);
+  buffer[255] = '\0';
+  strncat(buffer, str, (sizeof(buffer) - (strlen(buffer)  + 1 ) ) );
+
+  return;
+}
+
This page took 0.109574 seconds and 5 git commands to generate.