Engineering publications brought to you by Mark Allen

Static analysis

ALINT-PRO provides static verification for RISC-V designs

Developing code that is secure by construction

Latest versions of GNAT Pro, CodePeer, QGen and SPARK Pro released

Code injection: a common vulnerability

Embedded World: Wind River, Coverity collaboration tackles security vulnerabilities