Introduction and Welcome Introducing the testing facility

Off-By-One Example (C) This illustrates what FlexeLint/PC-lint does with an off-by-one error.

Multi-pass Example (C) This example shows FlexeLint/PC-lint's ability to pseudo-execute a program under analysis. Notice the use of the embedded lint option.

Rule-based semantics (C) This example shows how FlexeLint/PC-lint can do some semantic checking.

Simple Example (C++) This example shows how even simple C++ programs can contain errors.

Strong typedef Checking Example (C) This example shows how FlexeLint/PC-lint can check typedef usage.

General Test Example (C++) This example shows off many of FlexeLint/PC-lint's C++ abilities.

Introducing Multiple Modules (MM) This example is an introduction to cross-module analysis.

Multi Module Initialization and Redundancies This example shows how FlexeLint/PC-lint can detect order-of-initialization problems across modules.

Tracking static variables (C) This example shows how static variables can be tracked using multiple passes.

Mutual Exclusion (C) This example shows how improper mutex locking and unlocking is detected.

Dimensional Analysis (C++) This example shows how strong types can be used to do dimensional analysis.

Multi-threading (C) This example shows how race conditions in multi-thread programs are detected.

32-bit to 64-bit Conversion issues (C) This example shows some of the issues that exist when converting a 32-bit program to run on a 64-bit machine.

Do-It-Yourself Example (C) This example allows you to specify your own C code.

Do-It-Yourself 64-bit Example (C) This example allows you to specify your own 64-bit C code.

Do-It-Yourself Example (C++) This example allows you to specify your own C++ code.

Do-It-Yourself 64-bit Example (C++) This example allows you to specify your own 64-bit C++ code.

MISRA C 2012 Example (C) This example shows how FlexeLint/PC-lint addresses certain MISRA C 2012 guidelines.