It's near impossible to write bug-free code, but one can try and minimize the surface area of risk.
This is just one of the reasons why Clarity - the smart contract language for @blockstack - is interpreted, not compiled.
👇🏽
We found a vulnerability in @Libra_‘s Move IR Compiler. They issued a patch and we validated it. Follow this link for the technical description
blog.openzeppelin.com/libra-…