The compiler should fire warnings to prevent injection like attacks. I understand solidity is a tool to program what to do with balance... A super set of rules

The compiler should fire warnings to prevent injection like attacks. I understand solidity is a tool to program what to do with balance... A super set of rules that (at least) alerts the developers about dangerous operations will probably become a thing in the future.