summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2019-04-25bpf: mark registers in all frames after pkt/null checksPaul Chaignon-30/+46
2019-03-26bpf: remove incorrect 'verifier bug' warningPaul Chaignon-2/+3
2019-03-21bpf: verifier: propagate liveness on all framesJakub Kicinski-9/+11
2019-03-21bpf: do not restore dst_reg when cur_state is freedXu Yu-1/+1
2019-03-20bpf: Only print ref_obj_id for refcounted regMartin KaFai Lau-2/+11
2019-03-13bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau-57/+74
2019-03-07bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm fieldDaniel Borkmann-5/+5
2019-03-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-1/+6
2019-03-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+2
2019-03-01bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann-1/+2
2019-02-27bpf: enable program statsAlexei Starovoitov-1/+6
2019-02-10bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sockMartin KaFai Lau-2/+29
2019-02-10bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helperMartin KaFai Lau-40/+92
2019-02-10bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau-4/+7
2019-02-09bpf: Fix narrow load on a bpf_sock returned from sk_lookup()Martin KaFai Lau-4/+7
2019-02-01bpf: add support for bpf_spin_lock to cgroup local storageAlexei Starovoitov-0/+2
2019-02-01bpf: introduce bpf_spin_lockAlexei Starovoitov-3/+166
2019-01-26bpf: verifier support JMP32Jiong Wang-32/+171
2019-01-26bpf: refactor verifier min/max code for condition jumpJiong Wang-73/+99
2019-01-23bpf: notify offload JITs about optimizationsJakub Kicinski-0/+6
2019-01-23bpf: verifier: record original instruction indexJakub Kicinski-3/+5
2019-01-23bpf: verifier: remove unconditional branches by 0Jakub Kicinski-0/+23
2019-01-23bpf: verifier: remove dead codeJakub Kicinski-3/+173
2019-01-23bpf: verifier: hard wire branches to dead codeJakub Kicinski-2/+43
2019-01-17bpf: fix a (false) compiler warningPeter Oskolkov-1/+2
2019-01-05bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann-13/+48
2019-01-02bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann-6/+179
2019-01-02bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann-1/+5
2019-01-02bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann-1/+8
2019-01-02bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann-22/+41
2019-01-02bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann-0/+11
2019-01-02bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann-38/+38
2018-12-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-17/+224
2018-12-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-3/+10
2018-12-20bpf: verifier: reorder stack size check with dead code sanitizationJakub Kicinski-2/+3
2018-12-20bpf: verifier: teach the verifier to reason about the BPF_JSET instructionJakub Kicinski-0/+20
2018-12-19bpf: Ensure line_info.insn_off cannot point to insn with zero codeMartin KaFai Lau-0/+8
2018-12-18bpf: correct slot_type marking logic to allow more stack slot sharingJiong Wang-0/+5
2018-12-15bpf: add self-check logic to liveness analysisAlexei Starovoitov-1/+107
2018-12-15bpf: improve stacksafe state comparisonAlexei Starovoitov-6/+7
2018-12-15bpf: speed up stacksafe checkAlexei Starovoitov-1/+3
2018-12-14bpf: verbose log bpf_line_info in verifierMartin KaFai Lau-5/+69
2018-12-14bpf: Create a new btf_name_by_offset() for non type name use caseMartin KaFai Lau-2/+2
2018-12-13bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski-3/+10
2018-12-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-42/+197
2018-12-10bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang-4/+12
2018-12-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-14/+89
2018-12-09bpf: Add bpf_line_info supportMartin KaFai Lau-24/+174
2018-12-07bpf: verifier remove the rejection on BPF_ALU | BPF_ARSHJiong Wang-5/+0
2018-12-05bpf: Change insn_offset to insn_off in bpf_func_infoMartin KaFai Lau-9/+9