defensive-to-contracts (racket): This package presents a tool that converts defensive programming   into equivalent contracts. Currently, the tool is still at its infancy   and have not been tested on many code bases. The sample folder contains  some example files to get you started. So far I have exposed two functions  that allows you to input a path and either returns the raw result or load up  a GUI that allows you to change a file.
Keywords: contracts|conversion|defensive