[splint-discuss] splint usage

[Jack Sparrow]

Hi,

I am new to splint and currently trying it on my source which also has a
collection of independent libraries. When I try running splint :


    splint abc_main.c -I ${bca_project_path}/oss/src
${bca_project_path}/oss/h ${bca_project_path}/cd/h ${bca_project_path}/abc/h
${bac_project_path}/abc/bca/h ${bca_project_path}/abc/caldrv/h
${bca_project_path}/bsp/h ${bca_project_path}/sad/h ${abc_project_path}/lib
/abc/xsgaag/com2/h ${bca_project_path}/cos/src +posixlib -preproc


This is the output I get:

Spec file not found: ../../oss/h.lcl
Spec file not found: ../../cd/h.lcl
Spec file not found: ../h.lcl
Spec file not found: ../cdm/h.lcl
Spec file not found: ../caldrv/h.lcl
Spec file not found: ../../bsp/h.lcl
Spec file not found: ../../sad/h.lcl
Spec file not found: ../../lib.lcl
Spec file not found: ../../com2/h.lcl
Spec file not found: ../../com2/src.lcl
Cannot open file: ../../oss/h.c
Cannot open file: ../../cd/h.c
Cannot open file: ../h.c
Cannot open file: ../cdm/h.c
Cannot open file: ../caldrv/h.c
Cannot open file: ../../bsp/h.c
Cannot open file: ../../sad/h.c
Cannot open file: ../../lib.c
Cannot open file: ../../com2/h.c
Cannot open file: ../../com2/src.c
abc_main.c:84:11: Parse Error. (For help on parse errors, see splint -help
               parseerrors.)
*** Cannot continue.

What seems to be the problem here? Am I missing some flag while invoking
splint?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071011/73460f8d/attachment.html