On Sun, Dec 09, 2018 at 11:17:50PM +0100, Luc Van Oostenryck wrote: > On Sun, Dec 09, 2018 at 02:53:09PM -0700, Tycho Andersen wrote: > > > * add a new annotation to force sparse to check the byte count > > > (I'm thinking about __range__/OP_RANGE or something similar). > > > > Yes, I was playing around with inventing some check like this without > > the need for an annotation. It's not clear to me if it's going to work > > or not yet, though :). Top two patches here are what I was playing > > with: > > > > https://github.com/tych0/sparse/commits/check-as-infoleaks > > > Then src is not a PSEUDO_SYM (it should be a PSEUDO_REG equal to > a PSEUDO_SYM plus fred's offset). There is the same problem for the first patch/check_no_kernel_pointers(). But the case PSEUDO_SYM + offset should be easy to handle. -- Luc
