summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm fieldDaniel Borkmann2019-03-071-5/+5
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-03-041-1/+6
|\
| * bpf: enable program statsAlexei Starovoitov2019-02-271-1/+6
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2019-03-021-1/+2
|\ \ | |/ |/|
| * bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann2019-03-021-1/+2
| * bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau2019-02-101-4/+7
* | bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sockMartin KaFai Lau2019-02-111-2/+29
* | bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helperMartin KaFai Lau2019-02-111-40/+92
* | bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau2019-02-111-4/+7
* | bpf: add support for bpf_spin_lock to cgroup local storageAlexei Starovoitov2019-02-011-0/+2
* | bpf: introduce bpf_spin_lockAlexei Starovoitov2019-02-011-3/+166
* | bpf: verifier support JMP32Jiong Wang2019-01-261-32/+171
* | bpf: refactor verifier min/max code for condition jumpJiong Wang2019-01-261-73/+99
* | bpf: notify offload JITs about optimizationsJakub Kicinski2019-01-241-0/+6
* | bpf: verifier: record original instruction indexJakub Kicinski2019-01-241-3/+5
* | bpf: verifier: remove unconditional branches by 0Jakub Kicinski2019-01-241-0/+23
* | bpf: verifier: remove dead codeJakub Kicinski2019-01-241-3/+173
* | bpf: verifier: hard wire branches to dead codeJakub Kicinski2019-01-241-2/+43
* | bpf: fix a (false) compiler warningPeter Oskolkov2019-01-171-1/+2
|/
* bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann2019-01-061-13/+48
* bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann2019-01-031-6/+179
* bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann2019-01-031-1/+5
* bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann2019-01-031-1/+8
* bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann2019-01-031-22/+41
* bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann2019-01-031-0/+11
* bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann2019-01-031-38/+38
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-12-211-17/+224
|\
| * bpf: verifier: reorder stack size check with dead code sanitizationJakub Kicinski2018-12-201-2/+3
| * bpf: verifier: teach the verifier to reason about the BPF_JSET instructionJakub Kicinski2018-12-201-0/+20
| * bpf: Ensure line_info.insn_off cannot point to insn with zero codeMartin KaFai Lau2018-12-201-0/+8
| * bpf: correct slot_type marking logic to allow more stack slot sharingJiong Wang2018-12-181-0/+5
| * bpf: add self-check logic to liveness analysisAlexei Starovoitov2018-12-151-1/+107
| * bpf: improve stacksafe state comparisonAlexei Starovoitov2018-12-151-6/+7
| * bpf: speed up stacksafe checkAlexei Starovoitov2018-12-151-1/+3
| * bpf: verbose log bpf_line_info in verifierMartin KaFai Lau2018-12-141-5/+69
| * bpf: Create a new btf_name_by_offset() for non type name use caseMartin KaFai Lau2018-12-141-2/+2
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-12-201-3/+10
|\ \ | |/ |/|
| * bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski2018-12-131-3/+10
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-12-111-42/+197
|\ \
| * | bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang2018-12-101-4/+12
| * | bpf: Add bpf_line_info supportMartin KaFai Lau2018-12-091-24/+174
| * | bpf: verifier remove the rejection on BPF_ALU | BPF_ARSHJiong Wang2018-12-071-5/+0Star
| * | bpf: Change insn_offset to insn_off in bpf_func_infoMartin KaFai Lau2018-12-061-9/+9
| * | bpf: Add BPF_F_ANY_ALIGNMENT.David Miller2018-12-011-0/+2
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-12-101-14/+89
|\ \ \ | |/ / |/| / | |/
| * bpf: add per-insn complexity limitAlexei Starovoitov2018-12-041-1/+6
| * bpf: improve verifier branch analysisAlexei Starovoitov2018-12-041-13/+80
| * bpf: check pending signals while verifying programsAlexei Starovoitov2018-12-041-0/+3
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-11-301-17/+38
|\ \
| * | bpf: btf: support proper non-jit func infoYonghong Song2018-11-271-17/+38
generated by cgit v1.2.3-55-g7522 (git 2.39.0) at 2024-07-23 05:20:47 +0200