Re: SoftBound

2009-10-01 Thread bearophile
plement your own data structures, otherwise it may be better to just use Java in the first place. So in my opinion adding optional safeties to D pointers can be useful. The good things of the design of SoftBound is that it looks simple to implement (and probably LDC may just use/adapt the

Re: SoftBound

2009-10-01 Thread Walter Bright
bearophile wrote: "SoftBound: Highly Compatible and Complete Spatial Memory Safety for C" by Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic: http://llvm.org/pubs/2009-06-PLDI-SoftBound.html It's a block of about 6000 lines of C++ code that augment th

SoftBound

2009-10-01 Thread bearophile
"SoftBound: Highly Compatible and Complete Spatial Memory Safety for C" by Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic: http://llvm.org/pubs/2009-06-PLDI-SoftBound.html It's a block of about 6000 lines of C++ code that augment the LLVM compiler, add