llvm Array Bounds Check Elimination
http://www.knosof.co.uk/vulnerabilities/arraybnd.html
http://www.cs.utsa.edu/dmz/techrep/2010/CS-TR-2010-001.pdf
https://blogs.msdn.microsoft.com/clrcodegeneration/2009/08/13/array-bounds-check-elimination-in-the-clr/
http://www.ssw.uni-linz.ac.at/Research/Papers/Wuerthinger07/Wuerthinger07.pdf
https://en.wikipedia.org/wiki/Bounds-checking_elimination