summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2022-01-27bpf: Mark PTR_TO_FUNC register initially with zero offsetDaniel Borkmann1-3/+6
2022-01-27bpf: Fix verifier support for validation of async callbacksKris Van Hees1-0/+1
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: Fix kernel address leakage in atomic cmpxchg's r0 aux regDaniel Borkmann1-1/+8
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-22bpf: Fix kernel address leakage in atomic fetchDaniel Borkmann1-3/+9
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy1-1/+1
2021-11-25bpf: Forbid bpf_ktime_get_coarse_ns and bpf_timer_* in tracing progsDmitrii Banshchikov1-0/+7
2021-11-25bpf: Fix toctou on read-only map's constant scalar trackingDaniel Borkmann1-1/+16
2021-11-25bpf: Fix inner map state pruning regression.Alexei Starovoitov1-1/+2
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-14bpf: Add oversize check before call kvcalloc()Bixuan Cui1-0/+2
2021-08-31Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-1/+5
2021-08-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+6
2021-08-25bpf: Fix possible out of bound write in narrow load handlingAndrey Ignatov1-0/+4
2021-08-24bpf: Fix ringbuf helper function compatibilityDaniel Borkmann1-2/+6
2021-08-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+1
2021-08-17bpf: Refactor BPF_PROG_RUN into a functionAndrii Nakryiko1-1/+1
2021-08-13bpf: Clear zext_dst of dead insnsIlya Leoshkevich1-0/+1
2021-07-31Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-99/+49
2021-07-29bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann1-55/+32
2021-07-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-0/+2
2021-07-16bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann1-10/+17
2021-07-16bpf: Remove superfluous aux sanitation on subprog rejectionDaniel Borkmann1-34/+0
2021-07-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-19/+360
2021-07-16bpf: Add bpf_get_func_ip helper for kprobe programsJiri Olsa1-0/+2
2021-07-16bpf: Add bpf_get_func_ip helper for tracing programsJiri Olsa1-0/+43
2021-07-15bpf: Teach stack depth check about async callbacks.Alexei Starovoitov1-3/+15
2021-07-15bpf: Implement verifier support for validation of async callbacks.Alexei Starovoitov1-3/+120
2021-07-15bpf: Relax verifier recursion check.Alexei Starovoitov1-2/+6
2021-07-15bpf: Prevent pointer mismatch in bpf_timer_init.Alexei Starovoitov1-3/+28
2021-07-15bpf: Add map side support for bpf timers.Alexei Starovoitov1-3/+27
2021-07-15bpf: Introduce bpf timers.Alexei Starovoitov1-0/+109
2021-07-15bpf: Fix potential memleak and UAF in the verifier.He Fengqing1-11/+16
2021-07-13bpf: Fix tail_call_reachable rejection for interpreter when jit failedDaniel Borkmann1-0/+2
2021-07-09bpf: Track subprog poke descriptors correctly and fix use-after-freeJohn Fastabend1-39/+21
2021-06-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+4
2021-06-23bpf: Fix null ptr deref with mixed tail calls and subprogsJohn Fastabend1-2/+4
2021-06-19Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-7/+61
2021-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-6/+6
2021-06-15bpf: Fix leakage under speculation on mispredicted branchesDaniel Borkmann1-4/+40
2021-06-15bpf: Do not mark insn as seen under speculative path verificationDaniel Borkmann1-2/+18
2021-06-15bpf: Inherit expanded/patched seen count from old aux dataDaniel Borkmann1-1/+3
2021-05-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-37/+57
2021-05-25bpf: No need to simulate speculative domain for immediatesDaniel Borkmann1-1/+5
2021-05-25bpf: Fix mask direction swap upon off reg sign changeDaniel Borkmann1-10/+12