-disable-concurrency-detection
Disable automatic detection of multitasking functions
Syntax
-disable-concurrency-detection
Description
-disable-concurrency-detection disables the automatic concurrency
detection for supported multitasking functions.
Polyspace® can automatically detect multitasking functions from several libraries, including these:
POSIX®
VxWorks®
Windows®
μC/OS II
μC/OS III
C++11
C11
See Multitasking Routines That Polyspace Can Detect.
Automatic detection of these functions might find too many tasks and slow down a
Polyspace analysis. In such cases, use this option to disable automatic detection.
Instead, manually configure your multitasking analysis by using analysis options such as
Tasks
(-entry-points), Critical section details (-critical-section-begin
-critical-section-end), Temporally exclusive tasks
(-temporal-exclusions-file). See Configuring Polyspace Multitasking Analysis Manually.
In the user interface (Polyspace desktop products only), on the Configuration pane, enter this
option in the Other field. See Other.
Examples
Disable automatic detection of multitasking functions by using this option. Then, manually configure the multitasking analysis:
polyspace-bug-finder -checkers concurrency -disable-concurrency-detection -entry-points foo1,foo2,foo3
Tips
This option is not useful in a Polyspace as You Code analysis.
