Need the `-Wanalyzer-out-of-bounds` option and it's only static. At compile time so.
It can catch easy one, not the obscures cases.
It can catch easy one, not the obscures cases.
Edit: I also like the lib*san way of showing the variables and where everything is and is written to when you do oob writes but that is a whole other way of getting to it.