On Thu, 2010-06-24 08:53:02 +0200, Wenzel, Bodo wrote: > Some time ago I tried this with our programming rules and > guides. Unfortunately most of them can't be enforced through Splint.
In 2006, I compiled a set of splint and GCC options that (together with a sed script) covered most of the 'required' Misra2004 rules that can be checked with static analysis. However, I notice my co-workers tend to satisfy the checker instead of reading and following the rules ... Also, it is not easy to document or publish this as Misra prohibits copying the wording of the rules. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Floßwörthstraße 41 e-mail: lholzh...@bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
