summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2021-05-02bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann
2021-05-02bpf: Move sanitize_val_alu out of op switchDaniel Borkmann
2021-05-02bpf: Refactor and streamline bounds check into helperDaniel Borkmann
2021-05-02bpf: Improve verifier error messages for usersDaniel Borkmann
2021-05-02bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann
2021-05-02bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann
2021-05-02bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann
2021-03-20bpf: Add sanity check for upper ptr_limitPiotr Krysiuk
2021-03-20bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk
2021-03-20bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk
2021-03-20bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk
2021-02-26bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann
2021-02-13bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann
2020-11-05bpf: Permit map_ptr arithmetic with opcode add and offset 0Yonghong Song
2020-10-29bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski
2020-05-02bpf: Forbid XADD on spilled pointers for unprivileged usersJann Horn
2020-04-23bpf: fix buggy r0 retval refinement for tracing helpersDaniel Borkmann
2020-04-17bpf: Fix tnum constraints for 32-bit comparisonsJann Horn
2020-04-01bpf: Undo incorrect __reg_bound_offset32 handlingDaniel Borkmann
2020-01-23bpf: Fix incorrect verifier simulation of ARSH under ALU32Daniel Borkmann
2020-01-12bpf: Fix passing modified ctx to ld/abs/ind instructionDaniel Borkmann
2020-01-09bpf: Fix precision tracking for unbounded scalarsDaniel Borkmann
2019-12-31bpf: Provide better register bounds after jmp32 instructionsYonghong Song
2019-09-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-09-16bpf: fix accessing bpf_sysctl.file_pos on s390Ilya Leoshkevich
2019-09-15Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2019-09-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-09-05bpf: fix precision tracking of stack slotsAlexei Starovoitov
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov
2019-08-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2019-08-24bpf: fix precision tracking in presence of bpf2bpf callsAlexei Starovoitov
2019-08-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2019-07-29xdp: Add devmap_hash map type for looking up devices by hashed indexToke Høiland-Jørgensen
2019-07-23bpf: fix narrower loads on s390Ilya Leoshkevich
2019-07-12bpf: verifier: avoid fall-through warningsGustavo A. R. Silva
2019-07-12bpf: fix precision bit propagation for BPF_ST instructionsAndrii Nakryiko
2019-07-03bpf: fix precision trackingAlexei Starovoitov
2019-06-29devmap: Allow map lookups from eBPFToke Høiland-Jørgensen
2019-06-27bpf: implement getsockopt and setsockopt hooksStanislav Fomichev
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov
2019-06-19bpf: fix callees pruning callersAlexei Starovoitov
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov
2019-06-19bpf: extend is_branch_taken to registersAlexei Starovoitov
2019-06-19bpf: track spill/fill of constantsAlexei Starovoitov
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds
2019-06-10bpf: Allow bpf_map_lookup_elem() on an xskmapJonathan Lemon
2019-06-06bpf: fix unconnected udp hooksDaniel Borkmann
2019-06-05treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295Thomas Gleixner