Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / 2011fccfb61bbd1d7c8864b2b3ed7012342e9ba3 / kernel / bpf / verifier.c
  1. 2011fcc bpf: Support variable offset stack access from helpers by Andrey Ignatov · 6 years ago
  2. 356d71e Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  3. 83d1631 bpf: verifier: propagate liveness on all frames by Jakub Kicinski · 6 years ago
  4. edbf8c0 bpf: add skc_lookup_tcp helper by Lorenz Bauer · 6 years ago
  5. 85a51f8 bpf: allow helpers to return PTR_TO_SOCK_COMMON by Lorenz Bauer · 6 years ago
  6. 0f3adc2 bpf: track references based on is_acquire_func by Lorenz Bauer · 6 years ago
  7. 0803278 bpf: do not restore dst_reg when cur_state is freed by Xu Yu · 6 years ago
  8. cba368c bpf: Only print ref_obj_id for refcounted reg by Martin KaFai Lau · 6 years ago
  9. 1b98658 bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release by Martin KaFai Lau · 6 years ago
  10. 2018239 bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm field by Daniel Borkmann · 6 years ago
  11. f7fb7c1 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  12. 9eb3591 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  13. 3612af7 bpf: fix sanitation rewrite in case of non-pointers by Daniel Borkmann · 6 years ago
  14. 492ecee bpf: enable program stats by Alexei Starovoitov · 6 years ago
  15. 655a51e bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sock by Martin KaFai Lau · 6 years ago
  16. 46f8bc9 bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helper by Martin KaFai Lau · 6 years ago
  17. 5f45664 bpf: Fix narrow load on a bpf_sock returned from sk_lookup() by Martin KaFai Lau · 6 years ago
  18. d623876 bpf: Fix narrow load on a bpf_sock returned from sk_lookup() by Martin KaFai Lau · 6 years ago
  19. e16d2f1 bpf: add support for bpf_spin_lock to cgroup local storage by Alexei Starovoitov · 6 years ago
  20. d83525c bpf: introduce bpf_spin_lock by Alexei Starovoitov · 6 years ago
  21. 092ed09 bpf: verifier support JMP32 by Jiong Wang · 6 years ago
  22. a72dafa bpf: refactor verifier min/max code for condition jump by Jiong Wang · 6 years ago
  23. 08ca90a bpf: notify offload JITs about optimizations by Jakub Kicinski · 6 years ago
  24. 9e4c24e bpf: verifier: record original instruction index by Jakub Kicinski · 6 years ago
  25. a1b14ab bpf: verifier: remove unconditional branches by 0 by Jakub Kicinski · 6 years ago
  26. 52875a0 bpf: verifier: remove dead code by Jakub Kicinski · 6 years ago
  27. e2ae4ca bpf: verifier: hard wire branches to dead code by Jakub Kicinski · 6 years ago
  28. d0b2818 bpf: fix a (false) compiler warning by Peter Oskolkov · 6 years ago
  29. d3bd741 bpf: fix sanitation of alu op with pointer / scalar type from different paths by Daniel Borkmann · 6 years ago
  30. 979d63d bpf: prevent out of bounds speculation on pointer arithmetic by Daniel Borkmann · 6 years ago
  31. b7137c4 bpf: fix check_map_access smin_value test when pointer contains offset by Daniel Borkmann · 6 years ago
  32. 9d7ecee bpf: restrict unknown scalars of mixed signed bounds for unprivileged by Daniel Borkmann · 6 years ago
  33. e4298d2 bpf: restrict stack pointer arithmetic for unprivileged by Daniel Borkmann · 6 years ago
  34. 0d6303d bpf: restrict map value pointer arithmetic for unprivileged by Daniel Borkmann · 6 years ago
  35. c08435e bpf: move {prev_,}insn_idx into verifier env by Daniel Borkmann · 6 years ago
  36. 339bbff Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  37. 2be09de Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  38. 9b38c40 bpf: verifier: reorder stack size check with dead code sanitization by Jakub Kicinski · 6 years ago
  39. 960ea05 bpf: verifier: teach the verifier to reason about the BPF_JSET instruction by Jakub Kicinski · 6 years ago
  40. fdbaa0b bpf: Ensure line_info.insn_off cannot point to insn with zero code by Martin KaFai Lau · 6 years ago
  41. 0bae2d4 bpf: correct slot_type marking logic to allow more stack slot sharing by Jiong Wang · 6 years ago
  42. 9242b5f bpf: add self-check logic to liveness analysis by Alexei Starovoitov · 6 years ago
  43. 19e2dbb bpf: improve stacksafe state comparison by Alexei Starovoitov · 6 years ago
  44. b233920 bpf: speed up stacksafe check by Alexei Starovoitov · 6 years ago
  45. d9762e8 bpf: verbose log bpf_line_info in verifier by Martin KaFai Lau · 6 years ago
  46. 23127b3 bpf: Create a new btf_name_by_offset() for non type name use case by Martin KaFai Lau · 6 years ago
  47. 7640ead bpf: verifier: make sure callees don't prune with caller differences by Jakub Kicinski · 6 years ago
  48. addb067 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  49. e434b8c bpf: relax verifier restriction on BPF_MOV | BPF_ALU by Jiong Wang · 6 years ago
  50. 4cc1fee Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  51. c454a46 bpf: Add bpf_line_info support by Martin KaFai Lau · 6 years ago
  52. c49f7db bpf: verifier remove the rejection on BPF_ALU | BPF_ARSH by Jiong Wang · 6 years ago
  53. d30d42e bpf: Change insn_offset to insn_off in bpf_func_info by Martin KaFai Lau · 6 years ago
  54. ceefbc9 bpf: add per-insn complexity limit by Alexei Starovoitov · 6 years ago
  55. 4f7b3e8 bpf: improve verifier branch analysis by Alexei Starovoitov · 6 years ago
  56. c349480 bpf: check pending signals while verifying programs by Alexei Starovoitov · 6 years ago
  57. e9ee9ef bpf: Add BPF_F_ANY_ALIGNMENT. by David Miller · 6 years ago
  58. 93029d7 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  59. e561bb2 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  60. ba64e7d bpf: btf: support proper non-jit func info by Yonghong Song · 6 years ago
  61. 838e969 bpf: Introduce bpf_func_info by Yonghong Song · 6 years ago
  62. afd5942 bpf: fix off-by-one error in adjust_subprog_starts by Edward Cree · 6 years ago
  63. 46f53a6 bpf: Allow narrow loads with offset > 0 by Andrey Ignatov · 6 years ago
  64. a40a263 bpf: pass prog instead of env to bpf_prog_offload_verifier_prep() by Quentin Monnet · 6 years ago
  65. e647815 bpf: let verifier to calculate and record max_pkt_offset by Jiong Wang · 6 years ago
  66. 4d31f30 bpf: don't set id on after map lookup with ptr_to_map_val return by Daniel Borkmann · 6 years ago
  67. 0962590 bpf: fix partial copy of map_ptr when dst is scalar by Daniel Borkmann · 6 years ago
  68. b09928b bpf: make direct packet write unclone more robust by Daniel Borkmann · 6 years ago
  69. d5563d3 bpf: fix cg_skb types to hint access type in may_access_direct_pkt_data by Daniel Borkmann · 6 years ago
  70. 5d66fa7 bpf: fix direct packet access for flow dissector progs by Daniel Borkmann · 6 years ago
  71. 84430d4 bpf, verifier: avoid retpoline for map push/pop/peek operation by Daniel Borkmann · 6 years ago
  72. ad38911 bpf, verifier: remove unneeded flow key in check_helper_mem_access by Daniel Borkmann · 6 years ago
  73. 4b5defd bpf, verifier: reject xadd on flow key memory by Daniel Borkmann · 6 years ago
  74. 2a159c6 bpf, verifier: fix register type dump in xadd and st by Daniel Borkmann · 6 years ago
  75. f1a2e44 bpf: add queue and stack maps by Mauricio Vasquez B · 6 years ago
  76. 2ea864c bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUE by Mauricio Vasquez B · 6 years ago
  77. 071a234 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  78. e4052d0 bpf: allow offload of programs with BPF-to-BPF function calls by Quentin Monnet · 6 years ago
  79. c941ce9 bpf: add verifier callback to get stack usage info for offloaded progs by Quentin Monnet · 6 years ago
  80. 72438f8 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  81. b799207 bpf: 32-bit RSH verification must truncate input before the ALU op by Jann Horn · 6 years ago
  82. 6acc9b4 bpf: Add helper to retrieve socket in BPF by Joe Stringer · 6 years ago
  83. fd978bf7 bpf: Add reference tracking to verifier by Joe Stringer · 6 years ago
  84. 84dbf35 bpf: Macrofy stack state copy by Joe Stringer · 6 years ago
  85. c64b798 bpf: Add PTR_TO_SOCKET verifier type by Joe Stringer · 6 years ago
  86. 840b961 bpf: Generalize ptr_or_null regs check by Joe Stringer · 6 years ago
  87. 9d2be44 bpf: Reuse canonical string formatter for ctx errs by Joe Stringer · 6 years ago
  88. aad2eea bpf: Simplify ptr_min_max_vals adjustment by Joe Stringer · 6 years ago
  89. f3709f6 bpf: Add iterator for spilled registers by Joe Stringer · 6 years ago
  90. b741f16 bpf: introduce per-cpu cgroup local storage by Roman Gushchin · 6 years ago
  91. 8bad74f bpf: extend cgroup bpf core to allow multiple cgroup storage types by Roman Gushchin · 6 years ago
  92. 105bc13 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  93. e366fa4 Merge ra.kernel.org:/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  94. d58e468 flow_dissector: implements flow dissector BPF hook by Petar Penkov · 6 years ago
  95. dd06682 bpf/verifier: disallow pointer subtraction by Alexei Starovoitov · 6 years ago
  96. a9c676b bpf/verifier: fix verifier instability by Alexei Starovoitov · 6 years ago
  97. 8efea21 bpf/verifier: display non-spill stack slot types in print_verifier_state by Edward Cree · 6 years ago
  98. 679c782 bpf/verifier: per-register parent pointers by Edward Cree · 6 years ago
  99. f6069b9 bpf: fix redirect to map under tail calls by Daniel Borkmann · 6 years ago
  100. 2dbb9b9 bpf: Introduce BPF_PROG_TYPE_SK_REUSEPORT by Martin KaFai Lau · 6 years ago