summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * | bpf: Clear subreg_def for global function return valuesIlya Leoshkevich2021-02-151-1/+2
| * | bpf: Support pointers in global func argsDmitrii Banshchikov2021-02-131-0/+30
| * | bpf: Extract nullable reg type conversion into a helper functionDmitrii Banshchikov2021-02-131-31/+52
| * | bpf: Fix subreg optimization for BPF_FETCHIlya Leoshkevich2021-02-121-2/+21
| * | bpf: Allows per-cpu maps and map-in-map in sleepable programsAlexei Starovoitov2021-02-111-1/+6
| * | bpf: Optimize program statsAlexei Starovoitov2021-02-111-1/+1
| * | bpf: Allow variable-offset stack accessAndrei Matei2021-02-101-146/+511
| * | bpf: Refactor BPF_PSEUDO_CALL checking as a helper functionYonghong Song2021-02-051-16/+13
| * | bpf: Allow usage of BPF ringbuffer in sleepable programsKP Singh2021-02-051-1/+3
| * | bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCHBrendan Jackman2021-02-031-14/+18
| * | bpf: Allow rewriting to ports under ip_unprivileged_port_startStanislav Fomichev2021-01-281-0/+3
| * | bpf: Fix typo in scalar{,32}_min_max_rsh commentsTobias Klauser2021-01-231-2/+2
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller2021-02-101-18/+20
|\ \ \ | |/ / |/| / | |/
| * bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann2021-02-101-15/+13
| * bpf: Fix verifier jmp32 pruning decision logicDaniel Borkmann2021-02-101-1/+5
| * bpf: Fix verifier jsgt branch analysis on max boundDaniel Borkmann2021-02-101-2/+2
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2021-01-201-3/+5
|\|
| * bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann2021-01-201-3/+3
| * bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti2021-01-141-0/+2
* | bpf: Add bitwise atomic instructionsBrendan Jackman2021-01-151-0/+6
* | bpf: Add instructions for atomic_[cmp]xchgBrendan Jackman2021-01-151-2/+17
* | bpf: Add BPF_FETCH field / create atomic_fetch_add instructionBrendan Jackman2021-01-151-9/+24
* | bpf: Move BPF_STX reserved field check into BPF_STX verifier codeBrendan Jackman2021-01-151-7/+6
* | bpf: Rename BPF_XADD and prepare to encode other atomics in .immBrendan Jackman2021-01-151-10/+14
* | bpf: Support BPF ksym variables in kernel modulesAndrii Nakryiko2021-01-131-28/+126
* | bpf: Fix a verifier message for alloc size helper argBrendan Jackman2021-01-121-1/+1
|/
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-12-151-1/+2
|\
| * bpf: Permits pointers on stack for helper callsYonghong Song2020-12-141-1/+2
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-12-121-5/+5
|\ \ | |/ |/|
| * bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov2020-12-101-5/+5
* | Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-12-041-114/+142
|\ \
| * | bpf: Remove hard-coded btf_vmlinux assumption from BPF verifierAndrii Nakryiko2020-12-041-30/+47
| * | bpf: Refactor check_cfg to use a structured loop.Wedson Almeida Filho2020-11-251-84/+95
* | | Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-11-201-3/+15
|\ \ \ | |/ / |/| / | |/
| * bpf: Relax return code check for subprogramsDmitrii Banshchikov2020-11-141-2/+13
| * bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_idKaixu Xia2020-11-111-1/+2
* | bpf: Augment the set of sleepable LSM hooksKP Singh2020-11-131-15/+1
* | bpf: Support for pointers beyond pkt_end.Alexei Starovoitov2020-11-131-22/+107
* | bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_IDKP Singh2020-11-061-2/+5
* | bpf: Implement task local storageKP Singh2020-11-061-0/+10
* | bpf: Allow LSM programs to use bpf spin locksKP Singh2020-11-061-5/+15
|/
* bpf: Enforce id generation for all may-be-null register typeMartin KaFai Lau2020-10-201-6/+5
* bpf: Fix register equivalence tracking.Alexei Starovoitov2020-10-151-13/+25
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2020-10-131-19/+251
|\
| * bpf: Allow for map-in-map with dynamic inner array map entriesDaniel Borkmann2020-10-111-2/+4
| * bpf: Track spill/fill of bounded scalars.Yonghong Song2020-10-091-1/+15
| * bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov2020-10-091-0/+50
| * kernel/bpf/verifier: Fix build when NET is not enabledRandy Dunlap2020-10-071-0/+4
| * bpf, verifier: Use fallthrough pseudo-keywordGustavo A. R. Silva2020-10-051-2/+2
| * bpf: Introducte bpf_this_cpu_ptr()Hao Luo2020-10-031-3/+8
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-07 21:13:57 +0100