[SOLVED] Splint-Static tool

nagarjuna · 01-04-2011, 05:45 AM

Hi,
I am using splint to compile my project.Splint is returnning once it finds errors in my first file.My make file has ten files,how can i get total log of ten files even there is an error in first file. I mean ,splint should not stop checking even if it finds error in first file.Pls some one help me

ForzaItalia2006 · 01-04-2011, 06:09 AM

Quote:

Originally Posted by nagarjuna

Hi,
I am using splint to compile my project.Splint is returnning once it finds errors in my first file.My make file has ten files,how can i get total log of ten files even there is an error in first file. I mean ,splint should not stop checking even if it finds error in first file.Pls some one help me

Maybe, the -k (keep-going even if errors occured) option is helpful? You could then specifically enable this keep-going setting for your splint run only by

Code:

make -k splint

Andi

nagarjuna · 01-04-2011, 06:49 AM

Quote:

Originally Posted by ForzaItalia2006

Maybe, the -k (keep-going even if errors occured) option is helpful? You could then specifically enable this keep-going setting for your splint run only by

Code:

make -k splint

Andi

Thanks for ur reply, but its not working boss.Is there any other solution.......pls post.

Snark1994 · 01-04-2011, 01:47 PM

How are you using splint?

I thought it would be used

Code:

splint *.c

rather than with make...

nagarjuna · 01-04-2011, 10:24 PM

Quote:

Originally Posted by Snark1994

How are you using splint?

I thought it would be used

Code:

splint *.c

rather than with make...

I am using like this:
cc+=-g
OBJ_OPTION=-o $@

cc=splint
CC_FLAGS=$(SPLINT_FLAGS) -DSPLINT_FLAG_ENABLED
OBJ_OPTION=

SPLINT_FLAGS= -quiet -standard +posixlib

In my make file...i have set of c files.As i comment splint stuff it is compiling fine.But when i enable it is giving warnning in first .c and returnning ,without proceeding to further .c files. Now i have a requrement that, splint should display all the warnning in all the .c files of my make file. Please some one help me out.

Snark1994 · 01-06-2011, 10:17 AM

Try:

Code:

splint *.c -quiet -standard +posixlib

My guess is that your makefile tries to run splint on each file individually, and then halts when it gets errors on the first one...

nagarjuna · 01-06-2011, 10:23 PM

Quote:

Originally Posted by Snark1994

Try:

Code:

splint *.c -quiet -standard +posixlib

My guess is that your makefile tries to run splint on each file individually, and then halts when it gets errors on the first one...

Thank you very much. It worked.