Attachment #188850 for bug #223739

Lines 10-15 Link Here

(-)devel/splint/Makefile (+2 lines)
10	MAINTAINER= lwhsu@FreeBSD.org	10	MAINTAINER= lwhsu@FreeBSD.org
11	COMMENT= Tool for statically checking sourcecode for security vulnerabilities	11	COMMENT= Tool for statically checking sourcecode for security vulnerabilities
12		12
		13	LICENSE= GPLv2
		14
13	USES= gmake	15	USES= gmake
14	GNU_CONFIGURE= yes	16	GNU_CONFIGURE= yes
15	MAKE_JOBS_UNSAFE= yes	17	MAKE_JOBS_UNSAFE= yes

Lines 1-5 Link Here

(-)devel/splint/files/patch-src__Headers__constants.h (-2 / +2 lines)
1	--- src/Headers/constants.h.orig 2004-08-01 03:04:28.000000000 +0800	1	--- src/Headers/constants.h.orig 2007-07-13 22:42:49 UTC
2	+++ src/Headers/constants.h 2007-07-25 21:58:56.000000000 +0800	2	+++ src/Headers/constants.h
3	@@ -101,7 +101,7 @@	3	@@ -101,7 +101,7 @@
4	# define DEFAULT_SYSTEMDIR "/os2/"	4	# define DEFAULT_SYSTEMDIR "/os2/"
5	# else	5	# else




--- src/lcllib.c.orig	2007-07-13 22:42:49 UTC
+++ src/lcllib.c
@@ -51,13 +51,7 @@
 extern /*:open:*/ /*@dependent@*/ FILE *yyin;
 /*@=incondefs@*/ /*@=redecl@*/
 

 {
   "dirent",
   "fcntl",
@@ -79,7 +73,10 @@ static ob_mstring posixlibs[NUMPOSIXLIBS
   "utime"
 } ;
 

 {
   "assert", 
   "complex"
@@ -87,7 +84,10 @@ static ob_mstring stdlibs[NUMLIBS] =
   "errno",
   "fenv",
   "float",

   "iso646",
   "limits",
   "locale",
@@ -108,6 +108,9 @@ static ob_mstring stdlibs[NUMLIBS] =
   "wchar",
   "wctype"
 } ;
 
+/*@constant int NUMLIBS; @*/
+# define NUMLIBS (sizeof(stdlibs) / sizeof(stdlibs[0]))
+
 static bool loadLCDFile (FILE * p_f, cstring p_name);
 
 bool

Lines 4-7 Link Here

(-)devel/splint/pkg-descr (-1 / +1 lines)
4	adding annotations to programs, Splint can perform stronger checking	4	adding annotations to programs, Splint can perform stronger checking
5	than can be done by any standard lint.	5	than can be done by any standard lint.
6		6
7	WWW: http://www.splint.org/	7	WWW: http://lclint.cs.virginia.edu

Return to bug 223739

Lines 1-6 Link Here

(-)devel/splint/files/patch-src__lcllib.c (-9 / +9 lines)
1	--- src/lcllib.c.orig Wed Oct 30 17:51:13 2002	1	--- src/lcllib.c.orig 2007-07-13 22:42:49 UTC
2	+++ src/lcllib.c Wed Oct 30 22:37:48 2002	2	+++ src/lcllib.c
3	@@ -49,13 +49,7 @@	3	@@ -51,13 +51,7 @@
4	extern /:open:/ /@dependent@/ FILE *yyin;	4	extern /:open:/ /@dependent@/ FILE *yyin;
5	/@=incondefs@/ /@=redecl@/	5	/@=incondefs@/ /@=redecl@/
6		6
Lines 15-21 Link Here
15	{	15	{
16	"dirent",	16	"dirent",
17	"fcntl",	17	"fcntl",
18	@@ -77,7 +71,10 @@	18	@@ -79,7 +73,10 @@ static ob_mstring posixlibs[NUMPOSIXLIBS
19	"utime"	19	"utime"
20	} ;	20	} ;
21		21
Lines 27-33 Link Here
27	{	27	{
28	"assert",	28	"assert",
29	"complex"	29	"complex"
30	@@ -85,7 +82,10 @@	30	@@ -87,7 +84,10 @@ static ob_mstring stdlibs[NUMLIBS] =
31	"errno",	31	"errno",
32	"fenv",	32	"fenv",
33	"float",	33	"float",
Lines 38-50 Link Here
38	"iso646",	38	"iso646",
39	"limits",	39	"limits",
40	"locale",	40	"locale",
41	@@ -105,6 +105,9 @@	41	@@ -108,6 +108,9 @@ static ob_mstring stdlibs[NUMLIBS] =
42	"wchar",
43	"wctype"	42	"wctype"
44	} ;	43	} ;
45	+	44
46	+/@constant int NUMLIBS; @/	45	+/@constant int NUMLIBS; @/
47	+# define NUMLIBS (sizeof(stdlibs) / sizeof(stdlibs[0]))	46	+# define NUMLIBS (sizeof(stdlibs) / sizeof(stdlibs[0]))
48		47	+
49	static bool loadLCDFile (FILE * p_f, cstring p_name);	48	static bool loadLCDFile (FILE * p_f, cstring p_name);
50		49
		50	bool