-;;LCLint Dump: ansistrict.lcd
-;;LCLint 3.0.0.9 --- 23 July 2001
-;;lib:167
+;;; Splint Library ansistrict.lcd
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:169
;;ctTable
0 u-2 19 38
0 p1|-2 20 39
3 f0 (20|$#,5|$#,63|$#,)!
3 f19 (20|$#,5|$#,63|$#,)!
3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|$#,4|$#,)!
-3 f19 (23|$#,4|$#,)!
-3 f23 (23|$#,4|$#,)!
+3 f0 (23|@5|$#,4|$#,)!
+3 f19 (23|@5|$#,4|$#,)!
+3 f23 (23|@5|$#,4|$#,)!
3 f0 (23|$#,23|$#,)!
3 f63 (23|$#,23|$#,)!
3 f0 (23|@5|$#,23|$#,)!
3 f421 (596|$#,)!
3 f0 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
3 f63 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
+0 s343|&
+0 s344|&
+0 s345|&
+0 s346|&
+0 s347|&
+0 s348|&
+0 s349|&
+0 s350|&
+0 s351|&
+0 s352|&
+0 s353|&
+0 s354|&
+0 s355|&
+0 s356|&
+0 s357|&
+0 s358|&
+0 s359|&
+0 s360|&
+0 s361|&
+0 s362|&
+0 s363|&
+0 s364|&
+0 s365|&
+0 s366|&
+0 s367|&
+0 s368|&
+0 s369|&
+0 s370|&
;;tistable
0
28
^171 227@6@0@1@2@0^$@0#sscanf
^172 229$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
^173 231$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead.##vsprintf
+^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
^175 235$@0@@1@p0$@0#vsnprintf
^176 237$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
^177 240@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
^179 245$@0@s3@1@s3,tp1$@0#fputs
^180 247$@0@s3@1@s3,tp0$@0#getc
^181 249$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^182 252@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead.##gets
+^182 252@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
^183 254$@0@s3@1@s3,tp1$@0#putc
^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
^185 258$@1@g18@6@0,s3@1@s3,tg18$@0#puts
^340 607@6@5@1@0@0^@19@3@0#gmtime
^341 610@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
^342 612$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@613#int8_t
+^344 13@-@-@0@0@0@0@614#int16_t
+^345 13@-@-@0@0@0@0@615#int32_t
+^346 13@-@-@0@0@0@0@616#int64_t
+^347 14@-@-@0@0@0@0@617#uint8_t
+^348 14@-@-@0@0@0@0@618#uint16_t
+^349 14@-@-@0@0@0@0@619#uint32_t
+^350 14@-@-@0@0@0@0@620#uint64_t
+^351 13@-@-@0@0@0@0@621#int_least8_t
+^352 13@-@-@0@0@0@0@622#int_least16_t
+^353 13@-@-@0@0@0@0@623#int_least32_t
+^354 13@-@-@0@0@0@0@624#int_least64_t
+^355 14@-@-@0@0@0@0@625#uint_least8_t
+^356 14@-@-@0@0@0@0@626#uint_least16_t
+^357 14@-@-@0@0@0@0@627#uint_least32_t
+^358 14@-@-@0@0@0@0@628#uint_least64_t
+^359 13@-@-@0@0@0@0@629#int_fast8_t
+^360 13@-@-@0@0@0@0@630#int_fast16_t
+^361 13@-@-@0@0@0@0@631#int_fast32_t
+^362 13@-@-@0@0@0@0@632#int_fast64_t
+^363 14@-@-@0@0@0@0@633#uint_fast8_t
+^364 14@-@-@0@0@0@0@634#uint_fast16_t
+^365 14@-@-@0@0@0@0@635#uint_fast32_t
+^366 14@-@-@0@0@0@0@636#uint_fast64_t
+^367 24@-@+@0@0@0@0@637#intptr_t
+^368 25@-@+@0@0@0@0@638#uintptr_t
+^369 15@-@-@0@0@0@0@639#intmax_t
+^370 14@-@-@0@0@0@0@640#uintmax_t
+*1 (Constant)
+^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
+^407 63$#INTPTR_MIN#INTPTR_MAX
;; Library constraints
vsnprintf
pre:
2
Param 20 0
r
+0
+1
+e1
2
2
Param 63 2
+e2
+2
+3
+-1
C
0@1@3
l
2
Param 20 1
r
+0
+1
+e1
2
2
Param 63 2
+e2
+2
+3
+-1
;; end precondition constraints
post:EMPTY
memmove
2
Param 20 0
r
+0
+1
+e1
2
2
Param 63 2
+e2
+2
+3
+-1
C
0@1@3
l
2
Param 20 1
r
+0
+1
+e1
2
2
Param 63 2
+e2
+2
+3
+-1
;; end precondition constraints
post:EMPTY
strcpy
3
2
2
-Result
+Param 23 0
r
0
1