zephyr/cmake
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
..
app
bintools cmake: clear llvm bintool gapfill property 2024-12-02 11:14:09 +01:00
compiler Revert "cmake: remove enforcement of DWARF v4" 2024-12-20 16:05:23 +01:00
emu boards: intel: ish: Improve Simics support 2024-12-12 16:22:34 +01:00
flash cmake: flash: update cmake to support rtt target 2024-11-21 11:01:55 +00:00
ide build: namespace autoconf.h with zephyr/ 2024-05-28 22:03:55 +02:00
linker Revert "cmake: remove enforcement of DWARF v4" 2024-12-20 16:05:23 +01:00
linker_script linker: devicetree_regions: Add support memory region flag setting 2024-12-05 06:39:46 -05:00
makefile_exports
modules sysbuild: Add support for snippets 2024-12-27 07:18:13 +01:00
reports reports: footprint: Print footprint output 2024-10-25 22:44:07 +01:00
sca sca: added support for Polyspace tool 2025-01-07 14:13:13 +01:00
toolchain cmake: toolchain/xcc,xt-clang: env vars for multiple cores 2024-10-31 09:26:00 -05:00
usage cmake: targets: usage: add missing custom targets 2024-08-31 06:46:44 -04:00
util
cfb.cmake
extra_flags.cmake
gcc-m-cpu.cmake arch: Add Cortex-R8 support 2024-10-01 09:58:22 +02:00
gcc-m-fpu.cmake arch: Add Cortex-R8 support 2024-10-01 09:58:22 +02:00
gen_version_h.cmake cmake: Create git module 2024-09-12 10:04:05 +02:00
kobj.cmake build: namespace the generated headers with zephyr/ 2024-05-28 22:03:55 +02:00
llext-edk.cmake llext-edk: fix: add compile definitions to the generated EDK 2024-08-12 12:43:09 +02:00
mcuboot.cmake mcuboot: Add support for RAM load mode 2024-10-11 13:19:39 -04:00
package_helper.cmake cmake: move script mode handling from package helper to extensions.cmake 2024-10-08 17:00:30 +02:00
pristine.cmake
target_toolchain_flags.cmake cmake: source dedicated linker library properties for native builds 2024-11-16 15:28:20 -05:00
verify-toolchain.cmake
vif.cmake