summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-06-16bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki1-3/+7
2024-04-13bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-01-26bpf: Fix verification of indirect var-off stack accessAndrei Matei1-10/+4
2024-01-26bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko1-1/+1
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu1-1/+6
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun1-1/+1
2023-08-16bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko1-0/+37
2023-08-16bpf: stop setting precise in current stateAndrii Nakryiko1-12/+91
2023-08-16bpf: allow precision tracking for programs with subprogsAndrii Nakryiko1-1/+34
2023-06-28bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy1-0/+3
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman1-2/+16
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon1-1/+1
2023-05-17bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst1-10/+6
2023-05-17bpf: fix precision propagation verbose loggingAndrii Nakryiko1-2/+2
2023-05-17bpf: take into account liveness when propagating precisionAndrii Nakryiko1-2/+4
2023-04-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann1-0/+15
2023-02-15bpf: Do not reject when the stack read size is different from the tracked sca...Martin KaFai Lau1-12/+6
2023-02-15bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman1-7/+18
2023-02-15bpf: Support <8-byte scalar spill and refillMartin KaFai Lau1-15/+52
2023-02-15bpf: Fix incorrect state pruning for <8B spill/fillPaul Chaignon1-4/+0
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst1-1/+3
2023-01-14bpf: propagate precision across all frames, not just the last oneAndrii Nakryiko1-32/+39
2023-01-14bpf: Check the other end of slot_type for STACK_SPILLMartin KaFai Lau1-11/+19
2023-01-14bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko1-0/+5
2023-01-14bpf: Fix slot type check in check_stack_write_var_offKumar Kartikeya Dwivedi1-8/+11
2022-11-16bpf: Fix wrong reg type conversion in release_reference()Youlin Li1-2/+6
2022-11-16bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi1-107/+28
2022-11-16bpf: Support for pointers beyond pkt_end.Alexei Starovoitov1-22/+107
2022-08-31bpf: Don't use tnum_range on array range checking for poke descriptorsDaniel Borkmann1-6/+4
2022-08-21bpf: Fix subprog names in stack traces.Alexei Starovoitov1-3/+1
2022-07-12bpf: Fix insufficient bounds propagation from adjust_scalar_min_max_valsDaniel Borkmann1-49/+23
2022-07-12bpf: Fix incorrect verifier simulation around jmp32's jeq/jneDaniel Borkmann1-17/+24
2022-01-27bpf: Don't promote bogus looking registers after null check.Daniel Borkmann1-6/+6
2022-01-27bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao1-3/+3
2022-01-16bpf: Fix out of bounds access from invalid *_or_null type verificationDaniel Borkmann1-3/+3
2021-12-22bpf: Make 32->64 bounds propagation slightly more robustDaniel Borkmann1-9/+15
2021-12-22bpf: Fix signed bounds propagation after mov32Daniel Borkmann1-0/+4
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy1-1/+1
2021-12-01bpf: Fix toctou on read-only map's constant scalar trackingDaniel Borkmann1-1/+16
2021-11-18bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.Alexei Starovoitov1-1/+1
2021-11-18bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.Alexei Starovoitov1-1/+1
2021-09-30bpf: Add oversize check before call kvcalloc()Bixuan Cui1-0/+2
2021-09-15bpf: Fix possible out of bound write in narrow load handlingAndrey Ignatov1-0/+4
2021-09-15bpf: Fix potential memleak and UAF in the verifier.He Fengqing1-11/+16
2021-09-03bpf: Fix ringbuf helper function compatibilityDaniel Borkmann1-2/+6
2021-08-26bpf: Clear zext_dst of dead insnsIlya Leoshkevich1-0/+1
2021-08-04bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann1-10/+17
2021-08-04bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer1-31/+15
2021-08-04bpf: Remove superfluous aux sanitation on subprog rejectionDaniel Borkmann1-34/+0
2021-08-04bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann1-55/+32