13 May 2011

Finding concurrency errors with GrammaTech static analysis

This whitepaper describes common concurrency pitfalls and explains how static analysis with GrammaTech CodeSonar can help find such defects without executing the programme.

Author
GrammaTech

Supporting Information

Downloads
33729\Finding_Concurrency_Errors.pdf

Websites
http://www.grammatech.com

Companies
GrammaTech Inc

This material is protected by Findlay Media copyright
See Terms and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the sales team.

Do you have any comments about this article?

Add your comments

Name
 
Email
 
Comments
 

Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

 

Related Articles

Feabhas gets OK from ARM

Embedded training specialist Feabhas has been appointed an ARM Approved ...

MIT unveils simulation system

MIT researchers have developed a software simulation system designed to ...

Mathworks enhances range

In a move described as a 'significant enhancement' to its product range, ...

Efficient GPGPU programming

Today's graphics processors are highly programmable, massively parallel compute ...

Putting a trace on bugs

When developers start a new microprocessor based project, they are faced with a ...

Ecosystem extends abilities

Operating systems can be a major source of stress for embedded design ...

High speed board design

Istvan Nagy, electronics design engineer at Blue Chip Technology, a leading UK ...

Software development paper

The white paper illustrates, by way of a practical example, how a modular ...

Soft Asymmetric Multiprocessing - Finding a ...

One of the first steps in embedded design is choosing a system architecture. ...

Add in extensions

Agilent Technologies has announced a product enhancement designed to help ...

Cobham design software

Cobham Technical Services claims that the development of new generations of ...

Starter kit STM32F407ZG mcu

IAR Systems has announced a new 32bit kit for STMicroelectronics' first ARM ...

MCU Solutions Summit 2012

18 September, Southern UK (tbc) 20 September, Manchester

Altium design secret two

Beyond the initial vault migration tools like the Component Release Manager – ...

Altium design secret one

If you've ever reviewed a hard copy of a design, schematic or pcb, you've ...

Booster pack for MSP430

The Audio Capacitive Touch BoosterPack (430BOOST-C55AUDIO1) is a plug in board ...

The eco cloudy system thing...

One of the bothersome aspects of coming to grips with new, popular shifts in ...

Software developers' lives

A friend once asked me what software developers do when they're not creating ...

Design reuse

It's become a cliché in news or science reports. A water treatment plant ...

Cyrille Comar, AdaCore Europe

Cyrille Comar, co founder and managing director of AdaCore Europe, speaks to ...

Martin Harris, Altium

Chris Shaw asks Martin Harris about the latest developments at Altium

Herbert Truppe interview

Herbert Truppe, director, Product Management & Application, ...