A loop iterates over an unbounded, user-growable array. As the array grows, the gas cost exceeds the block limit and the function becomes permanently uncallable.
// Maintain a running aggregate, or process in bounded batches:
function process(uint start, uint end) external { require(end-start<=100); /*...*/ }
The SaferICO scanner runs 201 detectors over your Solidity source, SAFE-0038 among them. Paste an address or the source itself — a small per-scan fee, shown before you sign, or unlimited on any plan.