2871f1abef
Add the cmake files for running static code analysis with the Polyspace tools in the west build. The analysis leverages the compilation database. Options for the analysis are documented in doc/develop/sca/polyspace.rst. Analysis results are printed as command line output and provided as CSV. Manually tested on v4.0.0 with various sample applications. Signed-off-by: Martin Becker <mbecker@mathworks.com>
3 lines
75 B
Text
3 lines
75 B
Text
# tweaks specifically for Zephyr
|
|
-D__thread=
|
|
-enable-concurrency-detection
|