Static and Dynamic analysis tools

Posted on March 08, 2018 at 16:38

Hi STM community, I want to run valgrind and lint as part of static and dynamic code analysis.

I tried to run valgrind option in system work bench IDE , But it is giving the following error

valgrind: failed to start tool 'memcheck' for platform 'arm-linux': No such file or directory

is there anyway we can fix this issue. I tried one way of fixing by exporting valgrind library path as suggested someone in google.

And regarding the static analysis , I am checking with MISRA with PC-LINT setup, but it is giving errors at standard header files like

'Unable to determine type definition

of intptr_t'

So it requires compiler specific option file .

If any such file is available for fixing this issue.

Or any way we can run misra on stm code.

#stm32f7-eval #static-analysis #valgrind

This topic has been closed for replies.

Senior III

Posted on March 08, 2018 at 18:28

Valgrind, honestly ?

This would require virtual memory support, and a MMU.

MISRA tools and lint should work, my company uses it for even smaller controllers than Cortex M.

The setup seems a bit tricky, but AKAIK Gimpel (PC-Lint) has a forum, too.

We employ the builtin-MISRA check of the toolchains we use, not for STM32, though.

Sign up