On Thu, Dec 20, 2018 at 12:59:27PM -0700, Tycho Andersen wrote: > Hi all, > > A while ago I talked with various people about whether some static > analsys of copy_to_user() could be productive in finding infoleaks. > Unfortunately, due to the various issues outlined in the patch notes, it > doesn't seem like it is. Perhaps these checks are useful to put in just > to future proof ourselves against these sorts of issues, though. > > Anyway, here's the code. Thoughts welcome! Hi, I'm taking the first patch directly but I won't be able to look closer at the other patches until next week. Best regards, -- Luc
