summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2021-05-14bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann
2021-05-14bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann
2021-05-07bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann
2021-05-07bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann
2021-04-28bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann
2021-04-28bpf: Refactor and streamline bounds check into helperDaniel Borkmann
2021-04-28bpf: Allow variable-offset stack accessAndrei Matei
2021-04-21bpf: Move sanitize_val_alu out of op switchDaniel Borkmann
2021-04-21bpf: Improve verifier error messages for usersDaniel Borkmann
2021-04-21bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann
2021-04-21bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann
2021-04-21bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann
2021-04-21bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann
2021-04-14bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen
2021-03-30bpf: Dont allow vmlinux BTF to be used in map_create and prog_load.Alexei Starovoitov
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-03-04bpf: Clear subreg_def for global function return valuesIlya Leoshkevich
2021-02-26bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann
2021-02-10bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann
2021-02-10bpf: Fix verifier jmp32 pruning decision logicDaniel Borkmann
2021-02-10bpf: Fix verifier jsgt branch analysis on max boundDaniel Borkmann
2021-01-20bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann
2021-01-13bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti
2020-12-14Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2020-12-14bpf: Permits pointers on stack for helper callsYonghong Song
2020-12-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2020-12-10bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov
2020-12-04Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2020-12-03bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko
2020-11-24bpf: Refactor check_cfg to use a structured loop.Wedson Almeida Filho
2020-11-19Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2020-11-14bpf: Relax return code check for subprogramsDmitrii Banshchikov
2020-11-13bpf: Augment the set of sleepable LSM hooksKP Singh
2020-11-13bpf: Support for pointers beyond pkt_end.Alexei Starovoitov
2020-11-11bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_idKaixu Xia
2020-11-06bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_IDKP Singh
2020-11-06bpf: Implement task local storageKP Singh
2020-11-06bpf: Allow LSM programs to use bpf spin locksKP Singh
2020-10-19bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau
2020-10-15bpf: Fix register equivalence tracking.Alexei Starovoitov
2020-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2020-10-11bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann
2020-10-09bpf: Track spill/fill of bounded scalars.Yonghong Song
2020-10-09bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov
2020-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2020-10-08bpf: Fix scalar32_min_max_or bounds trackingDaniel Borkmann
2020-10-07kernel/bpf/verifier: Fix build when NET is not enabledRandy Dunlap