summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2019-04-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-80/+317
2019-04-10bpf: add program side {rd, wr}only support for mapsDaniel Borkmann1-2/+44
2019-04-10bpf: implement lookup-free direct value access for mapsDaniel Borkmann1-20/+66
2019-04-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-2/+3
2019-04-05bpf: Add missed newline in verifier verbose logAndrey Ignatov1-1/+1
2019-04-05bpf: Sanity check max value for var_off stack accessAndrey Ignatov1-3/+15
2019-04-05bpf: Reject indirect var_off stack access in unpriv modeAndrey Ignatov1-0/+16
2019-04-05bpf: Reject indirect var_off stack access in raw modeAndrey Ignatov1-0/+9
2019-04-04bpf: increase verifier log limitAlexei Starovoitov1-1/+1
2019-04-04bpf: increase complexity limit and maximum program sizeAlexei Starovoitov1-1/+0
2019-04-04bpf: verbose jump offset overflow checkAlexei Starovoitov1-1/+6
2019-04-04bpf: convert temp arrays to kvcallocAlexei Starovoitov1-7/+7
2019-04-04bpf: improve verification speed by not remarking live_readAlexei Starovoitov1-0/+9
2019-04-04bpf: improve verification speed by droping statesAlexei Starovoitov1-3/+41
2019-04-04bpf: add verifier stats and log_level bit 2Alexei Starovoitov1-24/+52
2019-03-29bpf: Support variable offset stack access from helpersAndrey Ignatov1-21/+54
2019-03-28Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-12/+23
2019-03-26bpf: remove incorrect 'verifier bug' warningPaul Chaignon1-2/+3
2019-03-22bpf: verifier: propagate liveness on all framesJakub Kicinski1-9/+11
2019-03-22bpf: add skc_lookup_tcp helperLorenz Bauer1-1/+2
2019-03-22bpf: allow helpers to return PTR_TO_SOCK_COMMONLorenz Bauer1-0/+4
2019-03-22bpf: track references based on is_acquire_funcLorenz Bauer1-14/+12
2019-03-21bpf: do not restore dst_reg when cur_state is freedXu Yu1-1/+1
2019-03-21bpf: Only print ref_obj_id for refcounted regMartin KaFai Lau1-2/+11
2019-03-13bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau1-57/+74
2019-03-07bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm fieldDaniel Borkmann1-5/+5
2019-03-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+6
2019-03-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+2
2019-03-02bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann1-1/+2
2019-02-27bpf: enable program statsAlexei Starovoitov1-1/+6
2019-02-11bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sockMartin KaFai Lau1-2/+29
2019-02-11bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helperMartin KaFai Lau1-40/+92
2019-02-11bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau1-4/+7
2019-02-10bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau1-4/+7
2019-02-01bpf: add support for bpf_spin_lock to cgroup local storageAlexei Starovoitov1-0/+2
2019-02-01bpf: introduce bpf_spin_lockAlexei Starovoitov1-3/+166
2019-01-27bpf: verifier support JMP32Jiong Wang1-32/+171
2019-01-27bpf: refactor verifier min/max code for condition jumpJiong Wang1-73/+99
2019-01-24bpf: notify offload JITs about optimizationsJakub Kicinski1-0/+6
2019-01-24bpf: verifier: record original instruction indexJakub Kicinski1-3/+5
2019-01-24bpf: verifier: remove unconditional branches by 0Jakub Kicinski1-0/+23
2019-01-24bpf: verifier: remove dead codeJakub Kicinski1-3/+173
2019-01-24bpf: verifier: hard wire branches to dead codeJakub Kicinski1-2/+43
2019-01-17bpf: fix a (false) compiler warningPeter Oskolkov1-1/+2
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