diff options
| author | Edward Cree <ecree@solarflare.com> | 2017-08-07 15:26:19 +0100 |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2017-08-08 17:51:34 -0700 |
| commit | f1174f77b50c94eecaa658fdc56fa69b421de4b8 (patch) | |
| tree | d6e11577190ab47f4c371da21cf1f0f14da66db0 /tools | |
| parent | e1cb90f2b83b6b48deeba0ac9f1920693cbad7e1 (diff) | |
| download | linux-f1174f77b50c94eecaa658fdc56fa69b421de4b8.tar.gz linux-f1174f77b50c94eecaa658fdc56fa69b421de4b8.tar.bz2 linux-f1174f77b50c94eecaa658fdc56fa69b421de4b8.zip | |
bpf/verifier: rework value tracking
Unifies adjusted and unadjusted register value types (e.g. FRAME_POINTER is
now just a PTR_TO_STACK with zero offset).
Tracks value alignment by means of tracking known & unknown bits. This
also replaces the 'reg->imm' (leading zero bits) calculations for (what
were) UNKNOWN_VALUEs.
If pointer leaks are allowed, and adjust_ptr_min_max_vals returns -EACCES,
treat the pointer as an unknown scalar and try again, because we might be
able to conclude something about the result (e.g. pointer & 0x40 is either
0 or 0x40).
Verifier hooks in the netronome/nfp driver were changed to match the new
data structures.
Signed-off-by: Edward Cree <ecree@solarflare.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions