how to use for mcu targetted project?

[ladmanj]

Hi to all,
I am completely new to this topic. I was presented today with it by the youtube algorithm.
I built ikos from sources to try it on my "opus magnum", code that runs on the STM32G0 microcontroller.
Unfortunately if i run ikos-scan make, then it fails with messages hinting that improper compiler was used.

Is there a way how to perform the analysis or is it intended to use on the non-cross-compiled projects only?

Thank you.
J.