[cfe-dev] my experience with clang

[Chris Lattner]

>> 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...

-Chris