On Sunday, 2 November 2014 at 00:56:37 UTC, Ola Fosheim Grøstad
wrote:
On Sunday, 2 November 2014 at 00:47:16 UTC, Walter Bright wrote:
On 11/1/2014 4:04 PM, "Ola Fosheim Grøstad"
<[email protected]>" wrote:
Anyway, I believe you can turn on bound checks with some
C-compilers if you want
it,
Won't work, because C arrays decay to pointers whenever passed
to a function, so you lose all hope of bounds checking except
in the most trivial of cases.
There are bounds-checking extensions to GCC.
And papers:
https://cseweb.ucsd.edu/~wchuang/HiPEAC-07-TaintBounds.pdf
http://www3.imperial.ac.uk/pls/portallive/docs/1/18619746.PDF
And projects:
http://sourceforge.net/projects/boundschecking/
…
