A batch operation iterates ids and amounts arrays without requiring ids.length == amounts.length. A caller can pass mismatched arrays to mint/transfer wrong quantities or read out of the intended range.
// mintBatch([1,2,3], [100]) - loop uses ids.length=3 // amounts[1], amounts[2] read past the array (0 or revert) // depending on layout -> inconsistent mint.
require(ids.length == amounts.length, "length mismatch");
The SaferICO scanner runs 201 detectors over your Solidity source, SAFE-0212 among them. Paste an address or the source itself — a small per-scan fee, shown before you sign, or unlimited on any plan.