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
2021-12-14
bpf: Fix the off-by-two error in range markings
Maxim Mikityanskiy
2021-09-22
bpf: Fix pointer arithmetic mask tightening under state pruning
Daniel Borkmann
2021-09-22
bpf: verifier: Allocate idmap scratch in verifier env
Lorenz Bauer
2021-09-22
bpf: Fix leakage due to insufficient speculative store bypass mitigation
Daniel Borkmann
2021-09-22
bpf: track spill/fill of constants
Alexei Starovoitov
2021-09-22
bpf: Sanity check max value for var_off stack access
Andrey Ignatov
2021-09-22
bpf: Reject indirect var_off stack access in unpriv mode
Andrey Ignatov
2021-09-22
bpf: Reject indirect var_off stack access in raw mode
Andrey Ignatov
2021-09-22
bpf: Support variable offset stack access from helpers
Andrey Ignatov
2021-09-22
bpf: correct slot_type marking logic to allow more stack slot sharing
Jiong Wang
2021-09-22
bpf/verifier: per-register parent pointers
Edward Cree
2021-09-03
bpf: Fix truncation handling for mod32 dst reg wrt zero
Daniel Borkmann
2021-09-03
bpf: Fix 32 bit src register truncation on div/mod
Daniel Borkmann
2021-08-15
bpf: Fix leakage under speculation on mispredicted branches
Daniel Borkmann
2021-08-15
bpf: Do not mark insn as seen under speculative path verification
Daniel Borkmann
2021-08-15
bpf: Inherit expanded/patched seen count from old aux data
Daniel Borkmann
2021-06-10
bpf: Add BPF_F_ANY_ALIGNMENT.
David S. Miller
2021-06-03
bpf: No need to simulate speculative domain for immediates
Daniel Borkmann
2021-06-03
bpf: Fix mask direction swap upon off reg sign change
Daniel Borkmann
2021-06-03
bpf: Wrap aux data inside bpf_sanitize_info container
Daniel Borkmann
2021-06-03
bpf: Fix leakage of uninitialized bpf stack under speculation
Daniel Borkmann
2021-06-03
bpf: Tighten speculative pointer arithmetic mask
Daniel Borkmann
2021-06-03
bpf: Move sanitize_val_alu out of op switch
Daniel Borkmann
2021-06-03
bpf: Refactor and streamline bounds check into helper
Daniel Borkmann
2021-06-03
bpf: Improve verifier error messages for users
Daniel Borkmann
2021-06-03
bpf: Rework ptr_limit into alu_limit and add common error path
Daniel Borkmann
2021-06-03
bpf: Ensure off_reg has no mixed signed bounds for all types
Daniel Borkmann
2021-06-03
bpf: Move off_reg into sanitize_ptr_alu
Daniel Borkmann
2021-06-03
bpf: extend is_branch_taken to registers
Alexei Starovoitov
2021-05-07
bpf: Fix masking negation logic upon negative dst register
Daniel Borkmann
2021-03-20
bpf: Add sanity check for upper ptr_limit
Piotr Krysiuk
2021-03-20
bpf: Simplify alu_limit masking for pointer arithmetic
Piotr Krysiuk
2021-03-20
bpf: Fix off-by-one for area size in creating mask to left
Piotr Krysiuk
2021-03-20
bpf: Prohibit alu ops for pointer types not defining ptr_limit
Piotr Krysiuk
2020-04-23
bpf: fix buggy r0 retval refinement for tracing helpers
Daniel Borkmann
2020-01-27
bpf: Add missed newline in verifier verbose log
Andrey Ignatov
2020-01-23
bpf: Fix incorrect verifier simulation of ARSH under ALU32
Daniel Borkmann
2020-01-12
bpf: Fix passing modified ctx to ld/abs/ind instruction
Daniel Borkmann
2019-07-03
bpf: fix unconnected udp hooks
Daniel Borkmann
2019-06-15
bpf: fix undefined behavior in narrow load handling
Krzesimir Nowak
2019-04-03
bpf: do not restore dst_reg when cur_state is freed
Xu Yu
2019-03-10
bpf: fix sanitation rewrite in case of non-pointers
Daniel Borkmann
2019-01-31
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
2019-01-31
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
2019-01-31
bpf: fix check_map_access smin_value test when pointer contains offset
Daniel Borkmann
2019-01-31
bpf: restrict unknown scalars of mixed signed bounds for unprivileged
Daniel Borkmann
2019-01-31
bpf: restrict stack pointer arithmetic for unprivileged
Daniel Borkmann
2019-01-31
bpf: restrict map value pointer arithmetic for unprivileged
Daniel Borkmann
2019-01-31
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
2019-01-31
bpf: add per-insn complexity limit
Alexei Starovoitov
[next]