software

Static code analysis of a critical embedded software

C code analysis using Frama-C software