Static Analysis tool for Embedded Systems

[alzomor]

using pc-lint in embedded systems

Hi

I am looking for a good static analysis tool for embedded Systems
something like PC-lint
can any one suggest such tool for me and share his experiance regardign this tool with me

Salam
Hossam Alzomor
www(.)i-g(.)org

 

[btbass]

splint mplab

Why not use PC-lint?

https://www.gimpel.com/

We have been using Gimpel lint for some time and it is a very good static analysis tool.
You can also download for free compiler options files that check for things like MISRA complience.

 

[alzomor]

pc lint misra compliance matrix

Hi

thanks BtBass
I know about PC-lint and it the most famous one
But do you use it for Embedded Systems?
Is OK for a wide range of compilers and micros?

also what about open source ones like SPLINT

Best Regards
Hossam Alzomor

 

[btbass]

static analysis tools for embedded systems

Yes we do. I write embedded software for the Automotive industry and the code has to comply with a requirements matrix. Source in Ansi C.
We use Gimpel PC-Lint to check for MISRA compliance. It is very good at finding dodgy bits in the code.

If you use Microchip processors and Mplab for development, there is an option on the tools menu for PC-Lint. You can analyse your files from mplab and get the results back into mplab. Double click the error and it will jump to the line in the source code.

We also use Subversion for version control with Tortoise, both open source, they also integrate into mplab.

PC-Lint has been in constant development since 1984, thats 23 years.
Thats pretty hard to beat.

 

[alzomor]

misra checker open-source

Dear btbass,

thanks for your advice
but I need to ask why you are still using ANSI C and not C99?

Salam
Hossam Alzomor
www(.)i-g(.)org
www.eandit.com

 

[btbass]

synopsi on embedded systems

Ansi C for MISRA compliance.
MISRA does not allow some of the extensions.
For example, a double forward slash is not allowed for comments. It's not C, it's C++

//This is not allowed

/* This is correct */

 

[amraldo]

misra c static checking open source

AA,
I use QAC-7.0 and slpint.
BR,
Amr Ali.

Added after 11 minutes:

There is a tool called Coverity Prevent™ Static Analysis was used in ESC 2008 in Bangalore for a course called Static Code Analysis for Embedded Systems.
BR,
Amr Ali.

 

[hyd_danmar]

coverity prevent vs lint

You can also try c++check

https://www.sf.net/projects/cppcheck

It is free.

 

[sagarspm]

Hi,

Apart from static analysis tool do any body knows about dynamic analysis tool available in market? Please suggest.

Sagar

 

[amraldo]

rttester
rational test realtime
any open source testing library

 

[sagarspm]

Hi amraldo,

Thanks again. I searched for rational test realtime. But i have not got proper information.
Does it support for freescale microcontrollers?
Does rational test realtime requires any tool (H/W tool) to interface with our application board (ECU) to perform dynamic analysis?
Do you have any net links for this?
Please comment it will be very helpful to me.

Sagar