summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2021-07-14bpf: Fix null ptr deref with mixed tail calls and subprogsJohn Fastabend1-2/+4
2021-06-23bpf: Do not mark insn as seen under speculative path verificationDaniel Borkmann1-2/+18
2021-06-23bpf: Inherit expanded/patched seen count from old aux dataDaniel Borkmann1-1/+3
2021-06-23bpf: Fix leakage under speculation on mispredicted branchesDaniel Borkmann1-4/+40
2021-06-16bpf: Add deny list of btf ids check for tracing programsJiri Olsa1-0/+14
2021-06-03bpf, offload: Reorder offload callback 'prepare' in verifierYinjun Zhang1-6/+6
2021-05-28bpf: No need to simulate speculative domain for immediatesDaniel Borkmann1-1/+5
2021-05-28bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann1-10/+12
2021-05-28bpf: Wrap aux data inside bpf_sanitize_info containerDaniel Borkmann1-7/+11
2021-05-14bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann1-13/+9
2021-05-14bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann1-5/+3
2021-05-07bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann1-10/+17
2021-05-07bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann1-8/+4
2021-04-17bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann1-29/+44
2021-04-17bpf: Move sanitize_val_alu out of op switchDaniel Borkmann1-6/+11
2021-04-17bpf: Refactor and streamline bounds check into helperDaniel Borkmann1-16/+33
2021-04-17bpf: Improve verifier error messages for usersDaniel Borkmann1-23/+63
2021-04-17bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann1-8/+13
2021-04-17bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann1-10/+9
2021-04-17bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann1-4/+5
2021-04-17bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann1-1/+1
2021-03-26bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen1-0/+5
2021-03-17bpf: Add sanity check for upper ptr_limitPiotr Krysiuk1-3/+8
2021-03-17bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk1-5/+5
2021-03-17bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk1-2/+2
2021-03-17bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk1-6/+10
2021-03-08bpf: Dont allow vmlinux BTF to be used in map_create and prog_load.Alexei Starovoitov1-0/+4
2021-03-05bpf: Explicitly zero-extend R0 after 32-bit cmpxchgBrendan Jackman1-1/+18
2021-03-04bpf: Account for BPF_FETCH in insn_has_def32()Ilya Leoshkevich1-31/+39
2021-02-22bpf: Fix a warning message in mark_ptr_not_null_reg()Dan Carpenter1-1/+1
2021-02-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-4/+6
2021-02-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-215/+662
2021-02-16bpf: Clear subreg_def for global function return valuesIlya Leoshkevich1-1/+2
2021-02-13bpf: Support pointers in global func argsDmitrii Banshchikov1-0/+30
2021-02-13bpf: Extract nullable reg type conversion into a helper functionDmitrii Banshchikov1-31/+52
2021-02-13bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann1-4/+6
2021-02-12bpf: Fix subreg optimization for BPF_FETCHIlya Leoshkevich1-2/+21
2021-02-11bpf: Allows per-cpu maps and map-in-map in sleepable programsAlexei Starovoitov1-1/+6
2021-02-11bpf: Optimize program statsAlexei Starovoitov1-1/+1
2021-02-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-18/+20
2021-02-10bpf: Allow variable-offset stack accessAndrei Matei1-146/+511
2021-02-10bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann1-15/+13
2021-02-10bpf: Fix verifier jmp32 pruning decision logicDaniel Borkmann1-1/+5
2021-02-10bpf: Fix verifier jsgt branch analysis on max boundDaniel Borkmann1-2/+2
2021-02-05bpf: Refactor BPF_PSEUDO_CALL checking as a helper functionYonghong Song1-16/+13
2021-02-05bpf: Allow usage of BPF ringbuffer in sleepable programsKP Singh1-1/+3
2021-02-03bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCHBrendan Jackman1-14/+18
2021-01-28bpf: Allow rewriting to ports under ip_unprivileged_port_startStanislav Fomichev1-0/+3
2021-01-23bpf: Fix typo in scalar{,32}_min_max_rsh commentsTobias Klauser1-2/+2
2021-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+5