aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2021-02-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-4/+6
2021-02-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-215/+662
2021-02-15bpf: Clear subreg_def for global function return valuesIlya Leoshkevich1-1/+2
2021-02-12bpf: Support pointers in global func argsDmitrii Banshchikov1-0/+30
2021-02-12bpf: 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-11bpf: 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-10Merge 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-04bpf: Refactor BPF_PSEUDO_CALL checking as a helper functionYonghong Song1-16/+13
2021-02-04bpf: Allow usage of BPF ringbuffer in sleepable programsKP Singh1-1/+3
2021-02-02bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCHBrendan Jackman1-14/+18
2021-01-27bpf: 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
2021-01-20bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann1-3/+3
2021-01-14bpf: Add bitwise atomic instructionsBrendan Jackman1-0/+6
2021-01-14bpf: Add instructions for atomic_[cmp]xchgBrendan Jackman1-2/+17
2021-01-14bpf: Add BPF_FETCH field / create atomic_fetch_add instructionBrendan Jackman1-9/+24
2021-01-14bpf: Move BPF_STX reserved field check into BPF_STX verifier codeBrendan Jackman1-7/+6
2021-01-14bpf: Rename BPF_XADD and prepare to encode other atomics in .immBrendan Jackman1-10/+14
2021-01-13bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti1-0/+2
2021-01-12bpf: Support BPF ksym variables in kernel modulesAndrii Nakryiko1-28/+126
2021-01-12bpf: Fix a verifier message for alloc size helper argBrendan Jackman1-1/+1
2020-12-14Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-1/+2
2020-12-14bpf: Permits pointers on stack for helper callsYonghong Song1-1/+2
2020-12-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-5/+5
2020-12-10bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov1-5/+5
2020-12-04Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-114/+142
2020-12-03bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko1-30/+47
2020-11-24bpf: Refactor check_cfg to use a structured loop.Wedson Almeida Filho1-84/+95
2020-11-19Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+15
2020-11-14bpf: Relax return code check for subprogramsDmitrii Banshchikov1-2/+13
2020-11-13bpf: Augment the set of sleepable LSM hooksKP Singh1-15/+1
2020-11-13bpf: Support for pointers beyond pkt_end.Alexei Starovoitov1-22/+107
2020-11-11bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_idKaixu Xia1-1/+2
2020-11-06bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_IDKP Singh1-2/+5
2020-11-06bpf: Implement task local storageKP Singh1-0/+10
2020-11-06bpf: Allow LSM programs to use bpf spin locksKP Singh1-5/+15
2020-10-19bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau1-6/+5
2020-10-15bpf: Fix register equivalence tracking.Alexei Starovoitov1-13/+25
2020-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-19/+251
2020-10-11bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann1-2/+4
2020-10-09bpf: Track spill/fill of bounded scalars.Yonghong Song1-1/+15
2020-10-09bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov1-0/+50