Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Added PC-lint Plus to Automated Detection Table

...

Tool

Version

Checker

Description

Compass/ROSE




LDRA tool suite
Include Page
LDRA_V
LDRA_V

590 S

Partially implemented

PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

2472, 2473

Fully supported

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rec. FIO11-C

Checks for bad file access mode or status (rec. fully covered)

...