cpp-linter

fix: Validate TA-supplied pointers in secure-kernel syscalls #334

Triggered via pull request August 3, 2026 14:21

bmolodan

opened #252

bmolodan:security/ta-pointer-access-rights

Status Success

Total duration 1m 12s

Artifacts –

linter.yml

on: pull_request

cpp-linter

1m 8s

Annotations

10 errors and 10 warnings

arch/cortex-m23/m2351/src/CMSIS/Include/arm_math.h:417:11 [clang-diagnostic-error]: arch/cortex-m23/m2351/src/CMSIS/Include/arm_math.h#L417

unknown type name 'int8_t'; did you mean '__int8_t'?

arch/cortex-m23/m2351/src/CMSIS/Include/arm_math.h:345:4 [clang-diagnostic-error]: arch/cortex-m23/m2351/src/CMSIS/Include/arm_math.h#L345

"Define according the used Cortex core ARM_MATH_CM7, ARM_MATH_CM4, ARM_MATH_CM3, ARM_MATH_CM0PLUS, ARM_MATH_CM0, ARM_MATH_ARMV8MBL, ARM_MATH_ARMV8MML"

arch/riscv32/fe310/src/freedom-metal/metal/drivers/sifive_i2c0.h:7:10 [clang-diagnostic-error]: arch/riscv32/fe310/src/freedom-metal/metal/drivers/sifive_i2c0.h#L7

'metal/clock.h' file not found

tee/tee/tee_pobj.c:32:10 [clang-diagnostic-error]: tee/tee/tee_pobj.c#L32

'tee/tee_pobj.h' file not found

arch/riscv32/fe310/src/freedom-metal/src/drivers/sifive_fe310-g000_pll.c:4:10 [clang-diagnostic-error]: arch/riscv32/fe310/src/freedom-metal/src/drivers/sifive_fe310-g000_pll.c#L4

'metal/machine/platform.h' file not found

arch/riscv32/fe310/src/sparkfun_redboard/nonsecure/Bridge_Freedom-metal_FreeRTOS.c:5:10 [clang-diagnostic-error]: arch/riscv32/fe310/src/sparkfun_redboard/nonsecure/Bridge_Freedom-metal_FreeRTOS.c#L5

'FreeRTOS.h' file not found

arch/riscv32/bl808/src/drivers/lhal/src/bflb_spi.c:1:10 [clang-diagnostic-error]: arch/riscv32/bl808/src/drivers/lhal/src/bflb_spi.c#L1

'bflb_spi.h' file not found

arch/riscv32/bl808/src/drivers/lhal/include/arch/risc-v/t-head/Core/Include/csi_core.h:54:10 [clang-diagnostic-error]: arch/riscv32/bl808/src/drivers/lhal/include/arch/risc-v/t-head/Core/Include/csi_core.h#L54

'csi_gcc.h' file not found

arch/cortex-m23/m2351/src/m2351_badge/secure/main.c:25:10 [clang-diagnostic-error]: arch/cortex-m23/m2351/src/m2351_badge/secure/main.c#L25

'M2351.h' file not found

arch/riscv32/fe310/src/freedom-metal/metal/drivers/fixed-clock.h:9:10 [clang-diagnostic-error]: arch/riscv32/fe310/src/freedom-metal/metal/drivers/fixed-clock.h#L9

'metal/clock.h' file not found

arch/riscv32/bl808/src/drivers/lhal/include/hardware/ir_reg.h:231:2 [readability-use-concise-preprocessor-directives]: arch/riscv32/bl808/src/drivers/lhal/include/hardware/ir_reg.h#L231