summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2023-02-06bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst1-1/+3
2023-01-18bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko1-0/+5
2022-08-11bpf: Verifer, adjust_scalar_min_max_vals to always call update_reg_bounds()John Fastabend1-0/+1
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy1-1/+1
2021-09-30bpf: Add oversize check before call kvcalloc()Bixuan Cui1-0/+2
2021-09-15bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann1-10/+17
2021-09-15bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer1-31/+15
2021-09-15bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann1-55/+32
2021-09-15bpf: Fix possible out of bound write in narrow load handlingAndrey Ignatov1-0/+4
2021-09-15bpf: Fix potential memleak and UAF in the verifier.He Fengqing1-11/+16
2021-09-03bpf: Fix cast to pointer from integer of different size warningAndrii Nakryiko1-1/+1
2021-09-03bpf: Track contents of read-only maps as scalarsAndrii Nakryiko1-2/+55
2021-08-26bpf: Clear zext_dst of dead insnsIlya Leoshkevich1-0/+1
2021-08-08bpf: Fix leakage under speculation on mispredicted branchesDaniel Borkmann1-4/+40
2021-08-08bpf: Do not mark insn as seen under speculative path verificationDaniel Borkmann1-2/+15
2021-08-08bpf: Inherit expanded/patched seen count from old aux dataDaniel Borkmann1-1/+3
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-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-05-02bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann1-29/+44
2021-05-02bpf: Move sanitize_val_alu out of op switchDaniel Borkmann1-5/+10
2021-05-02bpf: Refactor and streamline bounds check into helperDaniel Borkmann1-17/+37
2021-05-02bpf: Improve verifier error messages for usersDaniel Borkmann1-22/+62
2021-05-02bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann1-8/+13
2021-05-02bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann1-10/+9
2021-05-02bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann1-4/+5
2021-03-20bpf: Add sanity check for upper ptr_limitPiotr Krysiuk1-3/+8
2021-03-20bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk1-5/+5
2021-03-20bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk1-2/+2
2021-03-20bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk1-6/+10
2021-02-26bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann1-4/+6
2021-02-13bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann1-15/+13
2020-11-05bpf: Permit map_ptr arithmetic with opcode add and offset 0Yonghong Song1-0/+4
2020-10-29bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski1-0/+29
2020-05-02bpf: Forbid XADD on spilled pointers for unprivileged usersJann Horn1-9/+19
2020-04-23bpf: fix buggy r0 retval refinement for tracing helpersDaniel Borkmann1-11/+34
2020-04-17bpf: Fix tnum constraints for 32-bit comparisonsJann Horn1-36/+72
2020-04-01bpf: Undo incorrect __reg_bound_offset32 handlingDaniel Borkmann1-19/+0
2020-01-23bpf: Fix incorrect verifier simulation of ARSH under ALU32Daniel Borkmann1-3/+10
2020-01-12bpf: Fix passing modified ctx to ld/abs/ind instructionDaniel Borkmann1-2/+7
2020-01-09bpf: Fix precision tracking for unbounded scalarsDaniel Borkmann1-21/+22
2019-12-31bpf: Provide better register bounds after jmp32 instructionsYonghong Song1-0/+19
2019-09-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-2/+2
2019-09-16bpf: fix accessing bpf_sysctl.file_pos on s390Ilya Leoshkevich1-2/+2
2019-09-15Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-9/+14
2019-09-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+4
2019-09-05bpf: fix precision tracking of stack slotsAlexei Starovoitov1-9/+14
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov1-1/+4