Deputy is a C compiler that enforces stricter typing discipline on your programsdeputy.cs.berkeley.edu·2 pts·evangineer·0
OpenTransact - The World's Simplest Spec for Financial Transactionsopentransact.org·2 pts·evangineer·0
Coccinelle - A Program Matching and Transformation Tool for Systems Codecoccinelle.lip6.fr·2 pts·evangineer·0