index
:
linux.git
dev
master
v4.9.13
Unnamed repository; edit this file 'description' to name the repository.
Lucas Castro
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
2023-03-11
bpf: Fix truncation handling for mod32 dst reg wrt zero
Daniel Borkmann
2023-03-11
bpf: Fix 32 bit src register truncation on div/mod
Daniel Borkmann
2023-03-11
bpf: fix subprog verifier bypass by div/mod by 0 exception
Daniel Borkmann
2022-09-15
bpf: Verifer, adjust_scalar_min_max_vals to always call update_reg_bounds()
John Fastabend
2021-12-14
bpf: Fix the off-by-two error in range markings
Maxim Mikityanskiy
2021-06-10
bpf: No need to simulate speculative domain for immediates
Daniel Borkmann
2021-06-10
bpf: Fix mask direction swap upon off reg sign change
Daniel Borkmann
2021-06-10
bpf: Wrap aux data inside bpf_sanitize_info container
Daniel Borkmann
2021-06-10
bpf: Fix leakage of uninitialized bpf stack under speculation
Daniel Borkmann
2021-06-10
bpf/verifier: disallow pointer subtraction
Alexei Starovoitov
2021-06-10
bpf: do not allow root to mangle valid pointers
Alexei Starovoitov
2021-06-10
bpf: Tighten speculative pointer arithmetic mask
Daniel Borkmann
2021-06-10
bpf: Move sanitize_val_alu out of op switch
Daniel Borkmann
2021-06-10
bpf: Refactor and streamline bounds check into helper
Daniel Borkmann
2021-06-10
bpf: Improve verifier error messages for users
Daniel Borkmann
2021-06-10
bpf: Rework ptr_limit into alu_limit and add common error path
Daniel Borkmann
2021-06-10
bpf: Ensure off_reg has no mixed signed bounds for all types
Daniel Borkmann
2021-06-10
bpf: Move off_reg into sanitize_ptr_alu
Daniel Borkmann
2021-05-22
bpf: Fix masking negation logic upon negative dst register
Daniel Borkmann
2021-05-22
bpf: Fix backport of "bpf: restrict unknown scalars of mixed signed bounds fo...
Samuel Mendoza-Jonas
2021-03-24
bpf: Prohibit alu ops for pointer types not defining ptr_limit
Piotr Krysiuk
2021-03-24
bpf: Add sanity check for upper ptr_limit
Piotr Krysiuk
2021-03-24
bpf: Simplify alu_limit masking for pointer arithmetic
Piotr Krysiuk
2021-03-24
bpf: Fix off-by-one for area size in creating mask to left
Piotr Krysiuk
2020-01-12
bpf: Fix passing modified ctx to ld/abs/ind instruction
Daniel Borkmann
2020-01-12
bpf: reject passing modified ctx to helper functions
Daniel Borkmann
2019-04-20
bpf: fix sanitation rewrite in case of non-pointers
Daniel Borkmann
2019-04-20
bpf: do not restore dst_reg when cur_state is freed
Xu Yu
2019-04-20
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
2019-04-20
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
2019-04-20
bpf: fix check_map_access smin_value test when pointer contains offset
Daniel Borkmann
2019-04-20
bpf: restrict unknown scalars of mixed signed bounds for unprivileged
Daniel Borkmann
2019-04-20
bpf: restrict stack pointer arithmetic for unprivileged
Daniel Borkmann
2019-04-20
bpf: restrict map value pointer arithmetic for unprivileged
Daniel Borkmann
2019-04-20
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
2019-04-20
bpf: fix stack state printing in verifier log
Alexei Starovoitov
2019-04-20
bpf: fix verifier NULL pointer dereference
Craig Gallek
2019-04-20
bpf: fix verifier memory leaks
Alexei Starovoitov
2019-04-20
bpf: reduce verifier memory consumption
Alexei Starovoitov
2018-12-05
bpf: Prevent memory disambiguation attack
Alexei Starovoitov
2018-11-10
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
2018-10-10
bpf: 32-bit RSH verification must truncate input before the ALU op
Jann Horn
2018-08-03
bpf: fix references to free_bpf_prog_info() in comments
Jakub Kicinski
2018-03-11
bpf: allow xadd only on aligned memory
Daniel Borkmann
2018-02-25
bpf: mark dst unknown on inconsistent {s, u}bounds adjustments
Daniel Borkmann
2018-01-31
bpf: reject stores into ctx via st and xadd
Daniel Borkmann
2018-01-31
bpf: fix 32-bit divide by zero
Alexei Starovoitov
2018-01-17
bpf: arsh is not supported in 32 bit alu thus reject it
Daniel Borkmann
2018-01-17
bpf: prevent out-of-bounds speculation
Alexei Starovoitov
2017-12-25
bpf: fix integer overflows
Daniel Borkmann
[next]