>> 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 _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
