zephyr/doc/develop
Martin Becker 2871f1abef sca: added support for Polyspace tool
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>
2025-01-07 14:13:13 +01:00
..
api docs: api_lifecycle: Use a better release as example for deprecation 2024-08-15 12:40:16 +02:00
application doc: samples: Adopt code-sample-category across tree 2024-09-23 12:00:00 +02:00
debug doc: sphinx-lint: fix bad usage of "default role" 2024-09-13 11:42:51 -05:00
flash_debug west: runners: bossac: Honor --erase flag 2024-12-22 18:20:30 +00:00
getting_started doc: gsg: warn against using Python 3.13 on Windows 2024-11-28 12:53:42 +01:00
languages docs: add information about main(int, char **) 2024-09-05 12:30:39 -05:00
manifest doc: develop: manifests: external: add CANnectivity USB to CAN adapter 2024-09-18 15:30:16 +02:00
optimizations doc: samples: use :zephyr-app: for in-tree samples 2024-09-05 17:18:05 -04:00
sca sca: added support for Polyspace tool 2025-01-07 14:13:13 +01:00
test twister: ztest: short test case names on --no-detailed-test-id 2024-12-16 08:35:34 +01:00
toolchains doc: fix typo in multiple directories before v4.0.0 release 2024-11-13 13:35:49 -06:00
tools doc: develop: tools: CLion: add update note 2024-12-16 20:50:31 +01:00
west doc: develop: west: Remove deprecated west.log 2024-11-18 13:18:42 -05:00
beyond-GSG.rst doc: samples: Adopt code-sample-category across tree 2024-09-23 12:00:00 +02:00
env_vars.rst doc: fix typos 2023-11-08 10:09:44 +01:00
index.rst doc: extract the documentation about debugging to another file 2023-09-06 17:54:53 +02:00
modules.rst doc: develop: modules: Add a section about package managers 2024-11-25 12:16:43 +01:00