I have found an integer overflow in mintTokens,the supply variable could overflow,because of the _amount variable is
controlled by us and can eventually cause supply overflow to zero
vuln code:
function mintTokens(address _to, uint256 _amount) {
if (msgsender != icoContractAddress) throw; // Only ICO address can min ...