|-------------> |(Embedded | |image moved | |to file: | |pic01934.pcx)| | | |-------------> >------------------------------------------------------------------------| |Andrew Kunz | |09/06/2000 13:59 | >------------------------------------------------------------------------| Please respond to pic microcontroller discussion list To: PICLIST@MITVMA.MIT.EDU cc: (bcc: Dan Lloyd/GBPTD/ABB) Subject: Re: [OT]: Code Validation Tools > Lint Security Level:? Internal * Replies denoted by a "*" >We are using 'the' Lint (Gimpel Software, >version h) which we have to frig because it doesnt directly "support" our IAR >compiler (not a big problem). We also find that it generates a lot of I'd look at using IAR dongleware as a problem, though * Not much choice available for our micro...... I just downloaded LC-Lint from http://lclint.cs.virginia.edu/win32.html >tried one called PC-Lint, which seemed to give "good" (sorry, didnt have time to >perform a full evaluation against what we were using, hence the relative term) >results.....just depends what you prefer. Gimpel makes "PC-Lint" * It wasn't PC-Lint from Gimpel that I was trying out, then - I remember it being by someone else I also seem to remember the name had "PC" and "Lint" in it, I'm pretty sure about that. I'll have to try to find it again. >* Then you have a problem, which is a pity, as we find reviews extremely >effective. I know there are firms around that will review and audit code for They've worked wonders in the past for me, too. I may have to go to an audit >you, but I imagine they do it very formally.....depends what you want from >it/how much you want to pay Dan Content-type: application/octet-stream; name="pic01934.pcx" Content-Disposition: attachment; filename="pic01934.pcx" Attachment converted: creation:pic01934.pcx 1 (????/----) (00016697)