Static Analysis tool for Embedded Systems

Status
Not open for further replies.
A

alzomor

Advanced Member level 2
Joined
Jun 9, 2005
Messages
674
Helped
39
Reputation
78
Reaction score
8
Trophy points
1,298
Location
Germany
Activity points
6,406
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
 

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.
 

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
 

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.
 

    A

    alzomor

    Points: 2
    Helpful Answer Positive Rating
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
 

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 */
 

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.
 

Hi,

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

Sagar
 

rttester
rational test realtime
any open source testing library
 

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
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…