Tool/software:
Hi,
A lot of code is added to MCU2_0 of FreeRTOS, so I want to try to use dynamic code detection tool to check whether there are array overbounds, resource conflicts and other problems, but the current use of Polyspace can not complete this work, Tracealyzer asked before also does not support. Therefore, I would like to recommend some tools or methods that can accomplish this task.