Announcing the XGC Static Analyzer

London, October 1, 2015,

 

The Audience :

Embedded system programmers using C99 or C11 or Misra C, in the Aerospace and Automobile industries.

 

The point :

We have a new product. It’s early days but you’ll be able to download an evaluation copy in the near future.

 

The product :

This will be an alpha test version. It will be far from complete and might contain bugs. However we need your comments and we need to know if the product, as is, is what you want, or if we need to change something. If it is of no interest at all, we need to know that too.

Using analysis techniques developed for compilers it reports on

• violations of C programming language constraints
• reliance on undefined behaviour
• Misra 2012 issues
• flow problems such as unreachable code
• flow problems such as reading a variable before it has been written to
• range problems such as overflow and using a null pointer

Without static analysis, basic programming mistakes can show up after your system is deployed. Fixing mistakes at that stage can be very expensive.

Static analysis finds basic programming mistakes before deployment and will advise on where basic run-time checks are needed.

 

Action :

See the Technical Summary, where you can learn more about static analysis.

Be the first to evaluate this exciting new product. It’s not ready yet so watch this space.