Example 1: Array-boundary checking in Ch.

> int a[5] = {10,20,30,40,50} 
> a[-1] 
WARNING: subscript value -1 less than lower limit 0 
10 
> a[5] 
WARNING: subscript value 5 greater than upper limit 4 
50 
> char s[5] 
> strcpy(s, "abc") 
abc 
> s 
abc 
> strcpy(s, "ABCDE") 
ERROR: string length s1 is less than s2 in strcpy(s1,s2) 
ABCD 
> s 
ABCD