Nicola Vetrini 5590c7e659 eclair: allow and document use of GCC extension for label addresses ...

No functional change.

Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>

2025-05-27 12:21:38 +01:00

..

ECLAIR

eclair: allow and document use of GCC extension for label addresses

2025-05-27 12:21:38 +01:00

build.sh

automation/eclair: make the docs for MISRA C:2012 Dir 4.1 visible to ECLAIR

2023-11-29 18:25:38 +01:00

linker-symbols.sh

automation: add linker symbol name script

2024-08-28 17:47:40 -07:00

Makefile.prepare

automation: Add xen builds for the ECLAIR analyses

2023-07-26 15:11:50 -07:00

prepare.sh

automation: Update ECLAIR analysis configuration

2025-03-03 16:14:14 -08:00

propertyparser.py

docs: Move function and macro properties in docs/misra

2024-02-29 08:20:05 +01:00