[SystemSafety] Critical systems Linux

Derek M Jones derek at knosof.co.uk
Thu Nov 22 14:48:35 CET 2018


David,

> While it's true that C doesn't have a formal semantics, in practice the
> semantics of C is well-understood by experts, who write static analysis

There are four formal definitions, that I am aware of, claiming to cover
the complete C language.  None of them handle the preprocessor.

At least one can be used to process and 'execute' C code.


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com


More information about the systemsafety mailing list