SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 18

changes.mady.by.user Lisa Robertson

Saved on

compared with

New Version 19

changes.mady.by.user Joerg Herter

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

ToolVersionCheckerDescription
Astrée
Include Page
Astrée_V
Astrée_V
 Supported, but no explicit checker
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
CONCURRENCY.LOCK.ORDERConflicting lock order
Klocwork
Include Page
Klocwork_V
Klocwork_V
CONC.DL 
Polyspace Bug FinderR2016aDeadlock

Call sequence to lock functions cause two tasks to block each other

...