Re: Differing range values for same callsite/param
Dan Carpenter <[email protected]>
| Newsgroups | org.kernel.vger.smatch |
|---|---|
| Message-ID | <CA+_b7DJc6zmC=kqP66uCYgZhrZzrNsWZfJAF6+riyhMvfQ5+QA@mail.gmail.com> |
On Wednesday, July 3, 2019, Andrew Murray <[email protected]> wrote: > Hello, > > When looking at the smatch database, I see the following: > > kernel/sys.c|prctl_set_mm|find_vma|556035|0|8017|1|$|0-s32max[c] > kernel/sys.c|prctl_set_mm|find_vma|556035|0|1001|1|$|0- > 18446744073709551614 I'm traveling and only have my phone. The user controlled data is somewhat independent from param value (it's a subset). One oddity is that if the kernel has if (user_int > unknown_kernel_variable) then for user data we assume that the kernel variable is less than INT_MAX. I don't know if this is a useful answer without my computer though... Regards, Dan Carpenter