Infer shows “There was nothing to analyze” for STM32 (arm-none-eabi-gcc) firmware build

I’m running Infer on an STM32 firmware project built with arm-none-eabi-gcc (STM32F407, Cortex-M4). The build completes successfully, but Infer reports that there was nothing to analyze. The project was built using a Makefile generated by STM32CubeIDE.

```
arm-none-eabi-gcc -o "Onesense_Application.elf" @"objects.list" -mcpu=cortex-m4 -T"/home/nafila/stm32_1/OneSenseSTM32-main/Onesense_Application/STM32F407VGTX_FLASH.ld" --specs=nosys.specs -Wl,-Map="Onesense_Application.map" -Wl,--gc-sections -static -u _printf_float --specs=nano.specs -mfpu=fpv4-sp-d16 -mfloat-abi=hard -mthumb -u _scanf_float -Wl,--start-group -lc -lm -Wl,--end-group
Finished building target: Onesense_Application.elf

arm-none-eabi-size Onesense_Application.elf
arm-none-eabi-objdump -h -S Onesense_Application.elf > "Onesense_Application.list"
arm-none-eabi-objcopy -O binary Onesense_Application.elf "Onesense_Application.bin"
text data bss dec hex filename
222920 956 95288 319164 4debc Onesense_Application.elf
Finished building: default.size.stdout

Finished building: Onesense_Application.bin

Finished building: Onesense_Application.list

make: Leaving directory '/home/nafila/stm32_1/OneSenseSTM32-main/Onesense_Application/Debug'
Nothing to compile. Try running `make clean` first.
There was nothing to analyze.

No issues found
```
Does Infer support analysis of bare-metal STM32 firmware built with arm-none-eabi-gcc?
I expected Infer to analyze the C source files and report potential issues (memory, null dereference, etc.), but it reports that there is nothing to analyze. Any guidance on whether this setup is supported or how to configure Infer correctly for STM32 firmware would be appreciated.