Email: Password: Remember Me | Create Account (Free)

Back to Subject List

Old thread has been locked -- no new posts accepted in this thread
???
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.


List of 18 messages in thread
TopicAuthorDate
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      

Back to Subject List