buf.c

#include <stdio.h>

void f()
{
    char s[8] = "";
    snprintf(s, sizeof(s), "ip");
}

$ cppcheck --debug buf.c                                                                                                                                                  
Checking buf.c...


##file buf.c
1:
2:
3: void f ( )
4: {
5: char s@1 [ 8 ] = "" ;
6: snprintf ( "" , 8 , "ip" ) ;
7: }



##Value flow
Line 5
  8 always 8
  "" always ""
Line 6
  "" always ""
  8 always 8
  "ip" always "ip"
[/tmp/buf.c:6]: (error) Buffer is accessed out of bounds.