You could go over your source code and see how many operations are done using non-constant data from non-local-scope sources. I would be pretty amazed by a comp

You could go over your source code and see how many operations are done using non-constant data from non-local-scope sources. I would be pretty amazed by a compiler that could find all or most of my operations that don't overflow. Almost all never do, or shouldn't, but that's probably hard to prove and requires global analysis.