Thanks alot for the answer. I think I didn't find any bug. Where I work, we programmed embedded software and so I think it is the cause that splint said me "Cannot continue".
Best Regard, Domenico 2011/4/14 Michael Wojcik <michael.woj...@microfocus.com> > > From: splint-discuss-boun...@cs.virginia.edu [mailto:splint-discuss- > > boun...@cs.virginia.edu] On Behalf Of domenico margiotta > > Sent: Thursday, 14 April, 2011 04:41 > > To: splint-discuss@mail.cs.virginia.edu > > Subject: [splint-discuss] Difference and correct use of splint > > > What's the difference between the command lint and splint? > > "lint" refers to any of a number of programs designed to check C source > code for common errors and possibly-incorrect constructs. Since Stephen > Johnson's original lint program (which appeared in the early '70s), a > number of implementations of lint have been written. > > "splint" is a specific static C source code analyzer. It's part of the > family of lint programs, but it has many additional features. It > originally focused on security-related errors such as buffer overflows, > but these days can be used for many purposes. > > > How is the right command to replicate the same command? > > > e.g. lint myfile.c > > > Because if i'll run splitn myfile.c, i receive this error message > > "Cannot continue". > > You'll have to consult the splint documentation. You may have found a > bug in splint, but it's more likely that one of the following is the > case: > > - You need to provide splint with additional information about your > source code > > - Your code uses constructs which are not part of standard C, or are > part of C99 but not supported by splint > > - Your code contains errors that are severe enough to prevent splint > from parsing it > > -- > Michael Wojcik > Principal Software Systems Developer, Micro Focus > > This message has been scanned by MailController - > portal1.mailcontroller.co.uk > _______________________________________________ > splint-discuss mailing list > splint-discuss@mail.cs.virginia.edu > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss >
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
