Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search

Page History

Versions Compared

Key

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

Comment: Parasoft C/C++test 10.4

...

Tool

Version

Checker

Description

Include Page

	CodeSonar_V
	CodeSonar_V

CONCURRENCY.LOCK.ORDER

Conflicting lock order

Include Page

	Klocwork_V
	Klocwork_V

CONC.DL

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

BD

CERT_C-

TRS

POS51-

ORDER

a

Do not acquire locks in different order

Implemented

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

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

...