 |
On-Line Demonstrations of FlexeLint and PC-Lint (aka FlexeLint for Windows)
|
|
These examples showing some of FlexeLint/PC-Lint's power. You can modify
the samples and then re-analyse them. You can also submit your own
code to see how FlexeLint/PC-Lint handles it. Introduction and Welcome Introducing this demo. Off-By-One Example (C) A small C example containing an off-by-one error. Multi-pass Example (C) demonstrates inter-function value-tracking with a small recursive function. 64-bit Test (C) Checking programs against the LP64 model. Rule-based semantics (C) Function semantics are described via rules to enhance the detection of errors. Blank Slate (C) An open vessel in which to pour your own C code. Simple C++ Example This short example illustrates bug detection in C++. General Checking (C++) demonstrates a number of typical warnings. Null Pointers (C++) A variety of ways in which null pointers can be caught. Strong Types (C++) The -strong option is used to enhance type checking. Blank Slate (C++) An empty page in which to write your own C++ code. |
PC-lint and FlexeLint are trademarks of Gimpel Software
Copyright © 2006, Gimpel Software
