summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann2019-04-201-1/+2
* bpf: do not restore dst_reg when cur_state is freedXu Yu2019-04-201-1/+1
* bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann2019-04-201-13/+48
* bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann2019-04-201-6/+178
* bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann2019-04-201-1/+5
* bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann2019-04-201-1/+8
* bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann2019-04-201-21/+41
* bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann2019-04-201-0/+11
* bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann2019-04-201-33/+31
* bpf: fix stack state printing in verifier logAlexei Starovoitov2019-04-201-1/+1
* bpf: fix verifier NULL pointer dereferenceCraig Gallek2019-04-201-4/+8
* bpf: fix verifier memory leaksAlexei Starovoitov2019-04-201-9/+18
* bpf: reduce verifier memory consumptionAlexei Starovoitov2019-04-201-147/+286
* bpf: Prevent memory disambiguation attackAlexei Starovoitov2018-12-051-4/+58
* bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann2018-11-101-4/+6
* bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn2018-10-101-1/+9
* bpf: fix references to free_bpf_prog_info() in commentsJakub Kicinski2018-08-031-2/+2
* bpf: allow xadd only on aligned memoryDaniel Borkmann2018-03-111-16/+26
* bpf: mark dst unknown on inconsistent {s, u}bounds adjustmentsDaniel Borkmann2018-02-251-9/+16
* bpf: reject stores into ctx via st and xaddDaniel Borkmann2018-01-311-0/+19
* bpf: fix 32-bit divide by zeroAlexei Starovoitov2018-01-311-0/+18
* bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann2018-01-171-0/+5
* bpf: prevent out-of-bounds speculationAlexei Starovoitov2018-01-171-0/+36
* bpf: fix integer overflowsDaniel Borkmann2017-12-251-0/+48
* bpf: don't prune branches when a scalar is replaced with a pointerDaniel Borkmann2017-12-251-8/+7
* bpf: force strict alignment checks for stack pointersDaniel Borkmann2017-12-251-0/+5
* bpf: fix missing error return in check_stack_boundary()Daniel Borkmann2017-12-251-0/+1
* bpf: fix 32-bit ALU op verificationDaniel Borkmann2017-12-251-11/+17
* bpf: fix incorrect tracking of register size truncationDaniel Borkmann2017-12-251-17/+27
* bpf: fix incorrect sign extension in check_alu_op()Daniel Borkmann2017-12-251-1/+7
* bpf/verifier: fix bounds calculation on BPF_RSHDaniel Borkmann2017-12-251-14/+16
* bpf: fix branch pruning logicDaniel Borkmann2017-12-251-0/+27
* bpf: fix pattern matches for direct packet accessDaniel Borkmann2017-10-221-0/+24
* bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann2017-10-221-12/+21
* bpf: disallow arithmetic operations on context pointerJakub Kicinski2017-10-181-2/+6
* bpf: fix liveness markingAlexei Starovoitov2017-10-071-0/+5
* bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann2017-09-191-1/+6
* bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree2017-09-151-1/+2
* bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann2017-09-081-0/+16
* bpf/verifier: document liveness analysisEdward Cree2017-08-231-1/+27
* bpf/verifier: remove varlen_map_value_access flagEdward Cree2017-08-231-29/+12
* bpf/verifier: when pruning a branch, ignore its write marksEdward Cree2017-08-231-2/+7
* bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann2017-08-191-1/+5
* bpf: Fix map-in-map checking in the verifierMartin KaFai Lau2017-08-181-0/+1
* bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann2017-08-171-1/+1
* bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend2017-08-161-0/+1
* bpf: sockmap with sk redirect supportJohn Fastabend2017-08-161-0/+14
* bpf/verifier: track liveness for pruningEdward Cree2017-08-151-43/+146
* bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann2017-08-091-4/+58
* bpf/verifier: increase complexity limit to 128kEdward Cree2017-08-081-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-05 12:03:54 +0000