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.