Also worth checking http://ironclad.nongnu.org/ They might already have some tools.