fortify-headers

standalone fortify-source implementation
git clone git://git.2f30.org/fortify-headers
Log | Files | Refs | README | LICENSE

test_strncat_n_one.c (364B)

      1 #include "common.h"
      2 
      3 #include <string.h>
      4 
      5 int main(int argc, char** argv) {
      6   char buffer[8] = {0};
      7   strncat(buffer, "1234567", 7);
      8   puts(buffer);
      9 
     10   /* n=1, buffer has 7 chars ("1234567").
     11    * 7+1+1 = 9 > 8 → overflow. Even n=1 can overflow a nearly-full buffer. */
     12   CHK_FAIL_START
     13   strncat(buffer, "X", 1);
     14   CHK_FAIL_END
     15 
     16   puts(buffer);
     17   return ret;
     18 }