summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: add program side {rd, wr}only support for mapsDaniel Borkmann2019-04-091-2/+44
* bpf: implement lookup-free direct value access for mapsDaniel Borkmann2019-04-091-20/+66
* bpf: Add missed newline in verifier verbose logAndrey Ignatov2019-04-051-1/+1
* bpf: Sanity check max value for var_off stack accessAndrey Ignatov2019-04-051-3/+15
* bpf: Reject indirect var_off stack access in unpriv modeAndrey Ignatov2019-04-051-0/+16
* bpf: Reject indirect var_off stack access in raw modeAndrey Ignatov2019-04-051-0/+9
* bpf: increase verifier log limitAlexei Starovoitov2019-04-041-1/+1
* bpf: increase complexity limit and maximum program sizeAlexei Starovoitov2019-04-041-1/+0
* bpf: verbose jump offset overflow checkAlexei Starovoitov2019-04-041-1/+6
* bpf: convert temp arrays to kvcallocAlexei Starovoitov2019-04-041-7/+7
* bpf: improve verification speed by not remarking live_readAlexei Starovoitov2019-04-041-0/+9
* bpf: improve verification speed by droping statesAlexei Starovoitov2019-04-041-3/+41
* bpf: add verifier stats and log_level bit 2Alexei Starovoitov2019-04-041-24/+52
* bpf: Support variable offset stack access from helpersAndrey Ignatov2019-03-291-21/+54
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2019-03-271-12/+23
|\
| * bpf: verifier: propagate liveness on all framesJakub Kicinski2019-03-211-9/+11
| * bpf: do not restore dst_reg when cur_state is freedXu Yu2019-03-211-1/+1
| * bpf: Only print ref_obj_id for refcounted regMartin KaFai Lau2019-03-201-2/+11
* | bpf: add skc_lookup_tcp helperLorenz Bauer2019-03-211-1/+2
* | bpf: allow helpers to return PTR_TO_SOCK_COMMONLorenz Bauer2019-03-211-0/+4
* | bpf: track references based on is_acquire_funcLorenz Bauer2019-03-211-14/+12
|/
* bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau2019-03-131-57/+74
* 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-011-1/+2
| * bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau2019-02-091-4/+7
* | bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sockMartin KaFai Lau2019-02-101-2/+29
* | bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helperMartin KaFai Lau2019-02-101-40/+92
* | bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau2019-02-101-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-231-0/+6
* | bpf: verifier: record original instruction indexJakub Kicinski2019-01-231-3/+5
* | bpf: verifier: remove unconditional branches by 0Jakub Kicinski2019-01-231-0/+23
* | bpf: verifier: remove dead codeJakub Kicinski2019-01-231-3/+173
* | bpf: verifier: hard wire branches to dead codeJakub Kicinski2019-01-231-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-051-13/+48
* bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann2019-01-021-6/+179
* bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann2019-01-021-1/+5
* bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann2019-01-021-1/+8
* bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann2019-01-021-22/+41
* bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann2019-01-021-0/+11
* bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann2019-01-021-38/+38
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-12-201-17/+224
|\
| * bpf: verifier: reorder stack size check with dead code sanitizationJakub Kicinski2018-12-201-2/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-10 19:32:05 +0000