??? 08/09/06 18:23 Modified: 08/09/06 18:28 Read: times |
#121920 - ah well Responding to: ???'s previous message |
as i havent had time to do a full faq,I found that first you need to do is set all the enviroment viables setting LCLIMPORTDIR to point to the imports subdirectory in your splint directory,LARCH_PATH points to the lib subdirectory.You need to #include lint.h in your source file so that the compiler specific data types are recognised,and you need to point splint at the include files for your compiler with the -I flag so it looks something like
splint -I ..\include\mcs51 foo.c as it would in my case if i wanted splint to analyse foo.c sometimes splint cannot parse #defines in which case you can use #ifndef S_SPLINT_S #define bad stuff #define more bad stuff ... .. #endif there are about a million billion different flags you can set or unset to make splint more or less pedantic in its checks which I will outline better when ive had more time to do a complete faq. however once installed you can type splint -help flags full which gives you about 15 pages of descriptions of what all the flags do. If you type splint -help vars it will show you if the enviroment variables are set. That will have to do for now. |
Topic | Author | Date |
splint faq, Do we need one? | 01/01/70 00:00 | |
Howto .. I'd be interested | 01/01/70 00:00 | |
a little (too little) information is here | 01/01/70 00:00 | |
I'd suggest... | 01/01/70 00:00 | |
if you wern't a cheapskate it would be easy | 01/01/70 00:00 | |
Embedded 51 issues | 01/01/70 00:00 | |
I do not recall, I set it up years ago | 01/01/70 00:00 | |
ah well | 01/01/70 00:00 | |
Lint? | 01/01/70 00:00 | |
list of tools for static code analysis (wikipedia) | 01/01/70 00:00 | |
Arrgh, too much choice | 01/01/70 00:00 | |
How's that FAQ coming? | 01/01/70 00:00 | |
Not what it says on the tin, then? | 01/01/70 00:00 | |
ah well | 01/01/70 00:00 | |
should that be a 8052 FAQ ... | 01/01/70 00:00 | |
Well... if you're using SDCC for 8051s it should | 01/01/70 00:00 | |
then let's have a "how to use Keil" FAQ | 01/01/70 00:00 | |
See your point... | 01/01/70 00:00 |