SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 11

changes.mady.by.user Joerg Herter

Saved on

compared with

New Version 12

changes.mady.by.user Kris Kafka

Saved on

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

Astrée
Include Page
Astrée_V
Astrée_V
bad-function
Partially checked
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
(customization)

Users can add a custom check for all uses of  TerminateThread() and TerminateProcess().

PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

586

Fully supported

RuleChecker

Include Page
RuleChecker_V
RuleChecker_V

bad-function
Partially checked

...