From: Nicholas N. <nj...@cs...> - 2007-03-30 00:41:05
|
On Fri, 30 Mar 2007, Julian Seward wrote: >> So you've essentially added eager definedness checking for environment >> variables -- is that right? > > Oh, yes, you're right. Hang on. That's not good. > [...] > Should be be in the business of checking arguments to arbitrary libc > functions? I had not realised this before, but the function wrapping > stuff makes it possible to do that if we want. Dunno, it's a bit of a slippery slope. It's a shame the origin-tracking doesn't work very well. Nick |