Main Content

-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++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.

If you are running an analysis from the user interface (Polyspace desktop products only), on the Configuration pane, you can 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.

See Also

| |

Topics