What language are the contracts written in? Do you have a specification of that language?
EDIT: Nevermind, I see in an another comment that you're using Solidity. Thanks for the answer!
Now I have a new question. What do you think about the claim that, "Solidity, while being an interesting proof of concept, is dangerously under-contained and very difficult to analyze statically." (http://www.stephendiehl.com/posts/smart_contracts.html)
EDIT: Nevermind, I see in an another comment that you're using Solidity. Thanks for the answer!
Now I have a new question. What do you think about the claim that, "Solidity, while being an interesting proof of concept, is dangerously under-contained and very difficult to analyze statically." (http://www.stephendiehl.com/posts/smart_contracts.html)