On Jan 8, 2008, at 3:56 PM, Chris Lattner wrote:
The checking of the parameters for PHP is also really nice. With
not
that much code you were able to write a custom check for a code
base that
in practice can be really useful.
Yes, I agree. It is quite simple and really useful (it can save a few
crashes and potential security bugs). I now need to port it to the
liveness
analyzer to get info about unititalized variables.
My initial idea was to extend this to user-space (I even sent a
proposal to
the gcc mailing list some time ago).
One random and maybe interesting thought: the linux kernel people are
marking pointers as user or kernel and using their 'sparse' tool to
flag semantic violations. Instead of adding special support to clang
to handle something like this, I wonder if Christopher's alternate
address space work could be used to handle this...
Interesting possibility! If this is something you're interested in
I'll try to get my address spaces clang work committed sooner rather
than later.
Another use of these types of pointer attributes is Microsoft's
__ptr32/__ptr64, though I don't think that's so much for analysis as
pure pointer hackery.
--
Christopher Lamb
_______________________________________________
cfe-dev mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
