Safety in numbers
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 […]
Read moreThe Motor Industry Software Reliability Association (MISRA), publish guidelines for the use of the C programming language in automotive applications. The latest guidelines, known as Misra-2012, are compatible with ISO C 99, and are relevant for anyone developing applications where programming mistakes must be corrected before deployment. This requires static analysis rather than run-time checks. You will find MISRA at “http://www.misra.org.uk/”. […]
Read moreThe new C11 compiler, initially for the SPARC computer, has a number of built in restrictions, some of which make the source code more legible. Compound Literals Standard C allows literals and initialisers to be written with fewer values than the type requires. For example we can write: int a[3][4] = {1, 2, 3, 4}; This initialiser has too few […]
Read moreStatic analysis reduces the risks of deploying software written in the C programming language. Where possible we identify faults at compile time, before your software is deployed. We check conformance with language standards: ISO C99 Constraints ISO C99 Undefined Behaviour We do additional safety checks: MISRA C We perform analysis: Control flow analysis Range analysis We annotate your source code to […]
Read more