summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-06-24bpf: Fix may_goto with negative offset.Alexei Starovoitov
2024-06-21bpf: Fix the corner case with may_goto and jump to the 1st insn.Alexei Starovoitov
2024-06-17bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song
2024-06-17bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song
2024-06-13bpf: fix UML x86_64 compile failureMaciej Żenczykowski
2024-06-13bpf: Reduce stack consumption in check_stack_write_fixed_offDaniel Borkmann
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann
2024-05-31bpf: Fix bpf_session_cookie BTF_ID in special_kfunc_set listJiri Olsa
2024-05-27bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-05-13Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-05-12riscv, bpf: inline bpf_get_smp_processor_id()Puranjay Mohan
2024-05-06bpf/verifier: relax MUL range computation checkCupertino Miranda
2024-05-06bpf/verifier: improve XOR and OR range computationCupertino Miranda
2024-05-06bpf/verifier: refactor checks for range computationCupertino Miranda
2024-05-06bpf/verifier: replace calls to mark_reg_unknown.Cupertino Miranda
2024-05-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-04-30bpf: Add support for kprobe session cookieJiri Olsa
2024-04-29bpf: Fix verifier assumptions about socket->skAlexei Starovoitov
2024-04-29Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-04-26bpf: verifier: prevent userspace memory accessPuranjay Mohan
2024-04-24bpf: make common crypto API for TC/XDP programsVadim Fedorenko
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi
2024-04-23bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires
2024-04-23bpf: add support for KF_ARG_PTR_TO_WORKQUEUEBenjamin Tissoires
2024-04-23bpf: verifier: bail out if the argument is not a mapBenjamin Tissoires
2024-04-23bpf: add support for bpf_wq user typeBenjamin Tissoires
2024-04-22bpf: Fix typos in commentsRafael Passos
2024-04-22bpf: Fix typo in function save_aux_ptr_typeRafael Passos
2024-04-16bpf: Harden and/or/xor value tracking in verifierHarishankar Vishwanathan
2024-04-12bpf: Fix a verifier verbose messageAnton Protopopov
2024-04-09bpf: Add support for certain atomics in bpf_arena to x86 JITAlexei Starovoitov
2024-04-05bpf: allow invoking bpf_for_each_map_elem with different mapsPhilo Lu
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu
2024-04-05bpf: fix perf_snapshot_branch_stack link failureArnd Bergmann
2024-04-04bpf: prevent r10 register from being marked as preciseAndrii Nakryiko
2024-04-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-04-04bpf: inline bpf_get_branch_snapshot() helperAndrii Nakryiko
2024-04-04bpf: Optimize emit_mov_imm64().Alexei Starovoitov
2024-04-03bpf: inline bpf_get_smp_processor_id() helperAndrii Nakryiko
2024-04-02bpf: Add a verbose message if map limit is reachedAnton Protopopov
2024-03-29bpf: fix possible file descriptor leaks in verifierAnton Protopopov
2024-03-28bpf: improve error message for unsupported helperMykyta Yatsenko
2024-03-28Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-03-27bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-03-22bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan
2024-03-22bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan
2024-03-21bpf-next: Avoid goto in regs_refine_cond_op()Harishankar Vishwanathan
2024-03-14bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-03-14bpf: preserve sleepable bit in subprog infoAndrii Nakryiko
2024-03-14bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan