Viewing profile — molecularman

[dead]

I mean, I myself have poorer reading comprehension than me x years ago.

Thanks! Good question, I don't think such a tool exists. Such a tool would require a mathematical proof of an invariant that all the accesses are in bounds. The closest thing is th…

Thank you. I've added your comment to the essay.