aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy
2021-06-10bpf: No need to simulate speculative domain for immediatesDaniel Borkmann
2021-06-10bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann
2021-06-10bpf: Wrap aux data inside bpf_sanitize_info containerDaniel Borkmann
2021-06-10bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann
2021-06-10bpf/verifier: disallow pointer subtractionAlexei Starovoitov
2021-06-10bpf: do not allow root to mangle valid pointersAlexei Starovoitov
2021-06-10bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann
2021-06-10bpf: Move sanitize_val_alu out of op switchDaniel Borkmann
2021-06-10bpf: Refactor and streamline bounds check into helperDaniel Borkmann
2021-06-10bpf: Improve verifier error messages for usersDaniel Borkmann
2021-06-10bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann
2021-06-10bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann
2021-06-10bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann
2021-05-22bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann
2021-05-22bpf: Fix backport of "bpf: restrict unknown scalars of mixed signed bounds fo...Samuel Mendoza-Jonas
2021-03-24bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk
2021-03-24bpf: Add sanity check for upper ptr_limitPiotr Krysiuk
2021-03-24bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk
2021-03-24bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk
2020-01-12bpf: Fix passing modified ctx to ld/abs/ind instructionDaniel Borkmann
2020-01-12bpf: reject passing modified ctx to helper functionsDaniel Borkmann
2019-04-20bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann
2019-04-20bpf: do not restore dst_reg when cur_state is freedXu Yu
2019-04-20bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann
2019-04-20bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann
2019-04-20bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann
2019-04-20bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann
2019-04-20bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann
2019-04-20bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann
2019-04-20bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann
2019-04-20bpf: fix stack state printing in verifier logAlexei Starovoitov
2019-04-20bpf: fix verifier NULL pointer dereferenceCraig Gallek
2019-04-20bpf: fix verifier memory leaksAlexei Starovoitov
2019-04-20bpf: reduce verifier memory consumptionAlexei Starovoitov
2018-12-05bpf: Prevent memory disambiguation attackAlexei Starovoitov
2018-11-10bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann
2018-10-10bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn
2018-08-03bpf: fix references to free_bpf_prog_info() in commentsJakub Kicinski
2018-03-11bpf: allow xadd only on aligned memoryDaniel Borkmann
2018-02-25bpf: mark dst unknown on inconsistent {s, u}bounds adjustmentsDaniel Borkmann
2018-01-31bpf: reject stores into ctx via st and xaddDaniel Borkmann
2018-01-31bpf: fix 32-bit divide by zeroAlexei Starovoitov
2018-01-17bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann
2018-01-17bpf: prevent out-of-bounds speculationAlexei Starovoitov
2017-12-25bpf: fix integer overflowsDaniel Borkmann
2017-12-25bpf: don't prune branches when a scalar is replaced with a pointerDaniel Borkmann
2017-12-25bpf: force strict alignment checks for stack pointersDaniel Borkmann
2017-12-25bpf: fix missing error return in check_stack_boundary()Daniel Borkmann
2017-12-25bpf: fix 32-bit ALU op verificationDaniel Borkmann