Deutsch
English
NederlandsJohan Bezem ist Mitglied bei
Archive for the ‘PC Lint / FlexeLint’ Category
An interesting book, possibly also for Lint users
I just read about this book on CM Crossroads: “Secure Programming with Static Analysis”, by Brian Chess and Jacob West. I haven’t read or even bought/borrowed the book. However, the description they give (granted, it’s an advertisement) makes me curious. I’ll ponder this a bit, and maybe order the book.
If you’re into secure programming (and I guess many of us are, one way or another), at least take a look. I’ll report back if and when I buy and/or read the book. Reader comments always welcome (others too :-).
Undocumented PC Lint options
I’ve been searching Gimpel’s forum several times already. Some options have been added since version 8.00a, but these are not yet documented (nor supported, mind you!). But occasionally, I still need these. Now, for all my readers, without support, without any official shine, just as-is. I’ve included links to the best (IMHO) definitions in Gimpel’s forum I could find. Additions and corrections always welcome.
+fsg – map namespace to global namespace, documented in 9.0
++d<name> – define and survive even #undef; documented in 9.0
+restore_end – Place each single source in its own sandbox (Version 8.00u only)
+restore_at_end – As before, version 8.00v ff; the documentation for Lint 9.0 describes -restore_at_end, the software seems to accept both variants.
––esym(...) – seems identical to –esym, not documented but still accepted by version 9.0
–ecall(...) – turn of warning at each function call; documented in 9.0
-deprecate(objectType, objectName, warningString) – declare several object types to be deprecated; supported are “function“, “macro“, and “variable” (thanks, Don!); documented in 9.0
+xml(<string>) – make Lint format its output as XML. Follow the link to the sample configuration to see how it’s done; documented in 9.0
How to wield PC Lint
This entry is more for testing my blog, but at the same time my first tip for those looking for PC Lint support. Only that this tip is already published on my regular website.
I wrote a few pages on “How to Wield PC-Lint“, for setting up and deploying Lint, and making sense of the truckload of messages an initial deployment will present. Have look at the PDF, and use it to your advantage.