summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2019-02-10bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helperMartin KaFai Lau
2019-02-10bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau
2019-02-01bpf: add support for bpf_spin_lock to cgroup local storageAlexei Starovoitov
2019-02-01bpf: introduce bpf_spin_lockAlexei Starovoitov
2019-01-26bpf: verifier support JMP32Jiong Wang
2019-01-26bpf: refactor verifier min/max code for condition jumpJiong Wang
2019-01-23bpf: notify offload JITs about optimizationsJakub Kicinski
2019-01-23bpf: verifier: record original instruction indexJakub Kicinski
2019-01-23bpf: verifier: remove unconditional branches by 0Jakub Kicinski
2019-01-23bpf: verifier: remove dead codeJakub Kicinski
2019-01-23bpf: verifier: hard wire branches to dead codeJakub Kicinski
2019-01-17bpf: fix a (false) compiler warningPeter Oskolkov
2019-01-05bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann
2019-01-02bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann
2019-01-02bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann
2019-01-02bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann
2019-01-02bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann
2019-01-02bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann
2019-01-02bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann
2018-12-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-12-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-12-20bpf: verifier: reorder stack size check with dead code sanitizationJakub Kicinski
2018-12-20bpf: verifier: teach the verifier to reason about the BPF_JSET instructionJakub Kicinski
2018-12-19bpf: Ensure line_info.insn_off cannot point to insn with zero codeMartin KaFai Lau
2018-12-18bpf: correct slot_type marking logic to allow more stack slot sharingJiong Wang
2018-12-15bpf: add self-check logic to liveness analysisAlexei Starovoitov
2018-12-15bpf: improve stacksafe state comparisonAlexei Starovoitov
2018-12-15bpf: speed up stacksafe checkAlexei Starovoitov
2018-12-14bpf: verbose log bpf_line_info in verifierMartin KaFai Lau
2018-12-14bpf: Create a new btf_name_by_offset() for non type name use caseMartin KaFai Lau
2018-12-13bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski
2018-12-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-12-10bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang
2018-12-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-12-09bpf: Add bpf_line_info supportMartin KaFai Lau
2018-12-07bpf: verifier remove the rejection on BPF_ALU | BPF_ARSHJiong Wang
2018-12-05bpf: Change insn_offset to insn_off in bpf_func_infoMartin KaFai Lau
2018-12-04bpf: add per-insn complexity limitAlexei Starovoitov
2018-12-04bpf: improve verifier branch analysisAlexei Starovoitov
2018-12-04bpf: check pending signals while verifying programsAlexei Starovoitov
2018-11-30bpf: Add BPF_F_ANY_ALIGNMENT.David Miller
2018-11-29Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-11-28Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-11-26bpf: btf: support proper non-jit func infoYonghong Song
2018-11-20bpf: Introduce bpf_func_infoYonghong Song
2018-11-16bpf: fix off-by-one error in adjust_subprog_startsEdward Cree
2018-11-10bpf: Allow narrow loads with offset > 0Andrey Ignatov
2018-11-10bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet
2018-11-09bpf: let verifier to calculate and record max_pkt_offsetJiong Wang
2018-10-31bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann