summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2021-03-24bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk1-6/+10
2021-03-24bpf: Add sanity check for upper ptr_limitPiotr Krysiuk1-3/+8
2021-03-24bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk1-5/+5
2021-03-24bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk1-2/+2
2020-01-12bpf: Fix passing modified ctx to ld/abs/ind instructionDaniel Borkmann1-2/+7
2020-01-12bpf: reject passing modified ctx to helper functionsDaniel Borkmann1-15/+30
2019-04-20bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann1-1/+2
2019-04-20bpf: do not restore dst_reg when cur_state is freedXu Yu1-1/+1
2019-04-20bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann1-13/+48
2019-04-20bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann1-6/+178
2019-04-20bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann1-1/+5
2019-04-20bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann1-1/+8
2019-04-20bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann1-21/+41
2019-04-20bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann1-0/+11
2019-04-20bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann1-33/+31
2019-04-20bpf: fix stack state printing in verifier logAlexei Starovoitov1-1/+1
2019-04-20bpf: fix verifier NULL pointer dereferenceCraig Gallek1-4/+8
2019-04-20bpf: fix verifier memory leaksAlexei Starovoitov1-9/+18
2019-04-20bpf: reduce verifier memory consumptionAlexei Starovoitov1-147/+286
2018-12-05bpf: Prevent memory disambiguation attackAlexei Starovoitov1-4/+58
2018-11-10bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann1-4/+6
2018-10-10bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn1-1/+9
2018-08-03bpf: fix references to free_bpf_prog_info() in commentsJakub Kicinski1-2/+2
2018-03-11bpf: allow xadd only on aligned memoryDaniel Borkmann1-16/+26
2018-02-25bpf: mark dst unknown on inconsistent {s, u}bounds adjustmentsDaniel Borkmann1-9/+16
2018-01-31bpf: reject stores into ctx via st and xaddDaniel Borkmann1-0/+19
2018-01-31bpf: fix 32-bit divide by zeroAlexei Starovoitov1-0/+18
2018-01-17bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann1-0/+5
2018-01-17bpf: prevent out-of-bounds speculationAlexei Starovoitov1-0/+36
2017-12-25bpf: fix integer overflowsDaniel Borkmann1-0/+48
2017-12-25bpf: don't prune branches when a scalar is replaced with a pointerDaniel Borkmann1-8/+7
2017-12-25bpf: force strict alignment checks for stack pointersDaniel Borkmann1-0/+5
2017-12-25bpf: fix missing error return in check_stack_boundary()Daniel Borkmann1-0/+1
2017-12-25bpf: fix 32-bit ALU op verificationDaniel Borkmann1-11/+17
2017-12-25bpf: fix incorrect tracking of register size truncationDaniel Borkmann1-17/+27
2017-12-25bpf: fix incorrect sign extension in check_alu_op()Daniel Borkmann1-1/+7
2017-12-25bpf/verifier: fix bounds calculation on BPF_RSHDaniel Borkmann1-14/+16
2017-12-25bpf: fix branch pruning logicDaniel Borkmann1-0/+27
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann1-0/+24
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann1-12/+21
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski1-2/+6
2017-10-08bpf: fix liveness markingAlexei Starovoitov1-0/+5
2017-09-20bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann1-1/+6
2017-09-16bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree1-1/+2
2017-09-09bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann1-0/+16
2017-08-24bpf/verifier: document liveness analysisEdward Cree1-1/+27
2017-08-24bpf/verifier: remove varlen_map_value_access flagEdward Cree1-29/+12
2017-08-24bpf/verifier: when pruning a branch, ignore its write marksEdward Cree1-2/+7
2017-08-20bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann1-1/+5
2017-08-19bpf: Fix map-in-map checking in the verifierMartin KaFai Lau1-0/+1