summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2017-12-25bpf: fix incorrect tracking of register size truncationDaniel Borkmann
2017-12-25bpf: fix incorrect sign extension in check_alu_op()Daniel Borkmann
2017-12-25bpf/verifier: fix bounds calculation on BPF_RSHDaniel Borkmann
2017-12-25bpf: fix branch pruning logicDaniel Borkmann
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski
2017-10-07bpf: fix liveness markingAlexei Starovoitov
2017-09-19bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann
2017-09-15bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree
2017-09-08bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann
2017-08-23bpf/verifier: document liveness analysisEdward Cree
2017-08-23bpf/verifier: remove varlen_map_value_access flagEdward Cree
2017-08-23bpf/verifier: when pruning a branch, ignore its write marksEdward Cree
2017-08-19bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann
2017-08-18bpf: Fix map-in-map checking in the verifierMartin KaFai Lau
2017-08-17bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann
2017-08-16bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend
2017-08-16bpf: sockmap with sk redirect supportJohn Fastabend
2017-08-15bpf/verifier: track liveness for pruningEdward Cree
2017-08-09bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann
2017-08-08bpf/verifier: increase complexity limit to 128kEdward Cree