Revenons sur le sujet, le développement d’assertion pour tester du code est une très bonne idée, mais le projet vit-il ?
http://groups.google.com/group/mozilla.dev.static-analysis/browse_thread/thread/e6ad4628576f1296
– generated with the gcc plugin frontend and CVC3 solver (BSD-licensed);

L’outils a été intégré au build Mozilla, et les assertions standard sont automatiquement transformées en des assertion sixgill quand le flag adéquat est défini !
https://bugzilla.mozilla.org/show_bug.cgi?id=541220
http://hg.mozilla.org/mozilla-central/rev/765dd059291f

Ca manquerait-y pas un peu de doc d’utilisation/compilation quand même, au delà de la doc sur la syntaxe ? :
http://sixgill.org/