summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2019-03-02bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann1-1/+2
2019-02-10bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau1-4/+7
2019-01-06bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann1-13/+48
2019-01-03bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann1-6/+179
2019-01-03bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann1-1/+5
2019-01-03bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann1-1/+8
2019-01-03bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann1-22/+41
2019-01-03bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann1-0/+11
2019-01-03bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann1-38/+38
2018-12-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-17/+224
2018-12-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-3/+10
2018-12-20bpf: verifier: reorder stack size check with dead code sanitizationJakub Kicinski1-2/+3
2018-12-20bpf: verifier: teach the verifier to reason about the BPF_JSET instructionJakub Kicinski1-0/+20
2018-12-20bpf: Ensure line_info.insn_off cannot point to insn with zero codeMartin KaFai Lau1-0/+8
2018-12-19bpf: correct slot_type marking logic to allow more stack slot sharingJiong Wang1-0/+5
2018-12-15bpf: add self-check logic to liveness analysisAlexei Starovoitov1-1/+107
2018-12-15bpf: improve stacksafe state comparisonAlexei Starovoitov1-6/+7
2018-12-15bpf: speed up stacksafe checkAlexei Starovoitov1-1/+3
2018-12-15bpf: verbose log bpf_line_info in verifierMartin KaFai Lau1-5/+69
2018-12-15bpf: Create a new btf_name_by_offset() for non type name use caseMartin KaFai Lau1-2/+2
2018-12-13bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski1-3/+10
2018-12-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-42/+197
2018-12-10bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang1-4/+12
2018-12-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-14/+89
2018-12-10bpf: Add bpf_line_info supportMartin KaFai Lau1-24/+174
2018-12-08bpf: verifier remove the rejection on BPF_ALU | BPF_ARSHJiong Wang1-5/+0
2018-12-06bpf: Change insn_offset to insn_off in bpf_func_infoMartin KaFai Lau1-9/+9
2018-12-04bpf: add per-insn complexity limitAlexei Starovoitov1-1/+6
2018-12-04bpf: improve verifier branch analysisAlexei Starovoitov1-13/+80
2018-12-04bpf: check pending signals while verifying programsAlexei Starovoitov1-0/+3
2018-12-01bpf: Add BPF_F_ANY_ALIGNMENT.David Miller1-0/+2
2018-11-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-17/+38
2018-11-29Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+1
2018-11-27bpf: btf: support proper non-jit func infoYonghong Song1-17/+38
2018-11-20bpf: Introduce bpf_func_infoYonghong Song1-1/+119
2018-11-17bpf: fix off-by-one error in adjust_subprog_startsEdward Cree1-1/+1
2018-11-11bpf: Allow narrow loads with offset > 0Andrey Ignatov1-5/+16
2018-11-11bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet1-1/+1
2018-11-09bpf: let verifier to calculate and record max_pkt_offsetJiong Wang1-0/+12
2018-11-01bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann1-5/+6
2018-11-01bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann1-4/+6
2018-10-26bpf: make direct packet write unclone more robustDaniel Borkmann1-1/+5
2018-10-26bpf: fix cg_skb types to hint access type in may_access_direct_pkt_dataDaniel Borkmann1-0/+1
2018-10-26bpf: fix direct packet access for flow dissector progsDaniel Borkmann1-2/+4
2018-10-21bpf, verifier: avoid retpoline for map push/pop/peek operationDaniel Borkmann1-1/+24
2018-10-21bpf, verifier: remove unneeded flow key in check_helper_mem_accessDaniel Borkmann1-2/+0
2018-10-21bpf, verifier: reject xadd on flow key memoryDaniel Borkmann1-1/+10
2018-10-21bpf, verifier: fix register type dump in xadd and stDaniel Borkmann1-6/+13
2018-10-19bpf: add queue and stack mapsMauricio Vasquez B1-1/+18
2018-10-19bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUEMauricio Vasquez B1-3/+6