see also the index (by topic, by tool, by reference, by year)
Capucine
http://romain.bardou.fr/capucine/
Prototype tool for pointer programs with complex data invariants, using memory regions and statis permissions
see also the index (by topic, by tool, by reference, by year)