Cyclone-style never-NULL pointers and bounded pointers would be interesting, especially if completely optional. They could be incrementally added to sub-trees o

Cyclone-style never-NULL pointers and bounded pointers would be interesting, especially if completely optional. They could be incrementally added to sub-trees of a risky codebase (like a parser) but not poison your ultimate ability to do pointer arithmetic.