Safety in numbers
The 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 moreThe SPARC design includes 32 integer registers and 32 floating point registers. Integer registers are accessed via a window mechanism that reveals eight new registers on each subprogram call. These are managed by the register allocator.
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