summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Do not mark insn as seen under speculative path verificationDaniel Borkmann2021-06-231-2/+18
* bpf: Inherit expanded/patched seen count from old aux dataDaniel Borkmann2021-06-231-1/+3
* bpf: Fix leakage under speculation on mispredicted branchesDaniel Borkmann2021-06-231-4/+40
* bpf, offload: Reorder offload callback 'prepare' in verifierYinjun Zhang2021-06-031-6/+6
* bpf: No need to simulate speculative domain for immediatesDaniel Borkmann2021-05-281-1/+5
* bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann2021-05-281-10/+12
* bpf: Wrap aux data inside bpf_sanitize_info containerDaniel Borkmann2021-05-281-7/+11
* bpf: Fix alu32 const subreg bound tracking on bitwise operationsDaniel Borkmann2021-05-141-13/+9
* bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann2021-05-141-5/+3
* bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann2021-05-071-10/+17
* bpf: Fix masking negation logic upon negative dst registerDaniel Borkmann2021-05-071-8/+4
* bpf: Tighten speculative pointer arithmetic maskDaniel Borkmann2021-04-281-29/+44
* bpf: Refactor and streamline bounds check into helperDaniel Borkmann2021-04-281-16/+33
* bpf: Allow variable-offset stack accessAndrei Matei2021-04-281-146/+511
* bpf: Permits pointers on stack for helper callsYonghong Song2021-04-281-1/+2
* bpf: Move sanitize_val_alu out of op switchDaniel Borkmann2021-04-211-6/+11
* bpf: Improve verifier error messages for usersDaniel Borkmann2021-04-211-23/+63
* bpf: Rework ptr_limit into alu_limit and add common error pathDaniel Borkmann2021-04-211-8/+13
* bpf: Move off_reg into sanitize_ptr_aluDaniel Borkmann2021-04-211-4/+5
* bpf: Ensure off_reg has no mixed signed bounds for all typesDaniel Borkmann2021-04-211-10/+9
* bpf: Use correct permission flag for mixed signed bounds arithmeticDaniel Borkmann2021-04-211-1/+1
* bpf: Enforce that struct_ops programs be GPL-onlyToke Høiland-Jørgensen2021-04-141-0/+5
* bpf: Add sanity check for upper ptr_limitPiotr Krysiuk2021-03-201-3/+8
* bpf: Simplify alu_limit masking for pointer arithmeticPiotr Krysiuk2021-03-201-5/+5
* bpf: Fix off-by-one for area size in creating mask to leftPiotr Krysiuk2021-03-201-2/+2
* bpf: Prohibit alu ops for pointer types not defining ptr_limitPiotr Krysiuk2021-03-201-6/+10
* bpf: Clear subreg_def for global function return valuesIlya Leoshkevich2021-03-041-1/+2
* bpf: Fix truncation handling for mod32 dst reg wrt zeroDaniel Borkmann2021-02-261-4/+6
* bpf: Fix verifier jsgt branch analysis on max boundDaniel Borkmann2021-02-131-2/+2
* bpf: Fix 32 bit src register truncation on div/modDaniel Borkmann2021-02-131-15/+13
* bpf: Fix verifier jmp32 pruning decision logicDaniel Borkmann2021-02-131-1/+5
* bpf: Support PTR_TO_MEM{,_OR_NULL} register spillingGilad Reti2021-01-231-0/+2
* bpf: Fix signed_{sub,add32}_overflows type handlingDaniel Borkmann2021-01-231-3/+3
* bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.Alexei Starovoitov2020-12-101-5/+5
* 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: Enforce id generation for all may-be-null register typeMartin KaFai Lau2020-10-191-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-121-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-021-3/+8
| * bpf: Introduce bpf_per_cpu_ptr()Hao Luo2020-10-021-3/+61
| * bpf: Introduce pseudo_btf_idHao Luo2020-10-021-13/+112
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2020-10-081-4/+4
|\ \ | |/ |/|
| * bpf: Fix scalar32_min_max_or bounds trackingDaniel Borkmann2020-10-081-4/+4
* | bpf: Support attaching freplace programs to multiple attach pointsToke Høiland-Jørgensen2020-09-291-0/+10
View Lorry Controller Status