[splint-discuss] Running Splint for Linux drivers

[Vijayendra Suman]

On Fri, Mar 7, 2008 at 6:32 AM, Brian Quinlan <brian.quinlan at iolfree.ie>
wrote:

> > > [root at localhost build]# make splint
> > > Going for Splint Checking
> > > Splint 3.0.1.7 --- 24 Jan 2003
> > >
> One other thing that I forgot: you're using a very old version of
> splint. You should probably update it.
>
> BQ
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>


Hi,

Thanks for the immediate reply,
We solved the issue with the same way you suggested in ,
http://www.splint.org/pipermail/splint-discuss/2005-January/000531.html

But we have made this driver with OS dependent file it has all os dependent
functions, we included the path for this too, but still getting some annoyed
errors for the same project, hope there is some options for this,

Here is the options i used,

Makefile ->

splint:
  @$(ECHO) "Going for Splint Checking"
  @splint                         \
          -systemdirs /lib/modules/`uname
-r`/build/include:$(HOME_PATH)
/hw:$(HOME_PATH)/osdep:$(HOME_PATH)/debug
\
          -namechecks                 \
          -skip-ansi-headers          \
          -preproc                    \
          -macrovarprefixexclude      \
          -gnuextensions              \
          -expect 100                 \
          -hints                      \
          +trytorecover               \
          +posixlib                   \
          +skip-sys-headers           \
          -systemdirerrors            \
-I$(OS_DIR_PATH)                  \
  $(HW_DIR_PATH)/slim_bus_hw.c

Errors ->

[root at localhost build]# make splint
Going for Splint Checking
Splint 3.0.1.7 --- 24 Jan 2003

Command Line: Setting -sysdirerrors redundant with current value
../hw/slim_bus_hw.c:29:17: Cannot recover from parse error.
*** Cannot continue.
make: *** [splint] Error 1

The Code where it checks for this is

UINT debug_level = 5;

UINT is defined in $(OS_DIR_PATH), I am not sure if i am clear about the
problem, I shall give the update if i find one, if someone has resolved such
an issue with their software please give an update for the same.

Thanks
-- 
Regards
Vijayendra Suman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080307/28961ce8/attachment.html