| .. _sparse: |
| |
| Sparse support |
| ############## |
| |
| `Sparse <https://kernelnewbies.org/Sparse>`__ is a static code analysis tool. |
| Apart from performing common code analysis tasks it also supports an |
| ``address_space`` attribute, which allows introduction of distinct address |
| spaces in C code with subsequent verification that pointers to different |
| address spaces do not get confused. Additionally it supports a ``force`` |
| attribute which should be used to cast pointers between different address |
| spaces. At the moment Zephyr introduces a single custom address space |
| ``__cache`` used to identify pointers from the cached address range on the |
| Xtensa architecture. This helps identify cases where cached and uncached |
| addresses are confused. |
| |
| Running with sparse |
| ******************* |
| |
| To run a sparse verification build :ref:`west build <west-building>` should be |
| called with a `-DSPARSE=y` parameter, e.g. |
| |
| .. code-block:: shell |
| |
| west build -d hello -b intel_adsp_cavs25 zephyr/samples/hello_world -- -DSPARSE=y |
