Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / b3b50f05dc501cc2cd90349a7bbfd932af0ceb31 / kernel / bpf / verifier.c
  1. b3b50f0 bpf: fix precision bit propagation for BPF_ST instructions by Andrii Nakryiko · 5 years ago
  2. a3ce685 bpf: fix precision tracking by Alexei Starovoitov · 6 years ago
  3. 0cdbb4b devmap: Allow map lookups from eBPF by Toke Høiland-Jørgensen · 6 years ago
  4. 0d01da6 bpf: implement getsockopt and setsockopt hooks by Stanislav Fomichev · 6 years ago
  5. dca73a6 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  6. b5dc016 bpf: precise scalar_value tracking by Alexei Starovoitov · 6 years ago
  7. eea1c22 bpf: fix callees pruning callers by Alexei Starovoitov · 6 years ago
  8. 2589726 bpf: introduce bounded loops by Alexei Starovoitov · 6 years ago
  9. fb8d251 bpf: extend is_branch_taken to registers by Alexei Starovoitov · 6 years ago
  10. f7cf25b bpf: track spill/fill of constants by Alexei Starovoitov · 6 years ago
  11. 13091aa Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  12. da0f382 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by Linus Torvalds · 6 years ago
  13. fada7fd bpf: Allow bpf_map_lookup_elem() on an xskmap by Jonathan Lemon · 6 years ago
  14. 983695f bpf: fix unconnected udp hooks by Daniel Borkmann · 6 years ago
  15. 5b497af treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295 by Thomas Gleixner · 6 years ago
  16. 5cf1e91 bpf: cgroup inet skb programs can return 0 to 3 by brakmo · 6 years ago
  17. d6c2308 bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is set by Jiong Wang · 6 years ago
  18. a4b1d3c bpf: verifier: insert zero extension according to analysis result by Jiong Wang · 6 years ago
  19. b325fbc bpf: verifier: mark patched-insn with sub-register zext flag by Jiong Wang · 6 years ago
  20. 5327ed3 bpf: verifier: mark verified-insn with sub-register zext flag by Jiong Wang · 6 years ago
  21. dc2a4eb bpf: convert explored_states to hash table by Alexei Starovoitov · 6 years ago
  22. a8f500a bpf: split explored_states by Alexei Starovoitov · 6 years ago
  23. 5d83902 bpf: cleanup explored_states by Alexei Starovoitov · 6 years ago
  24. b285fcb bpf: bump jmp sequence limit by Alexei Starovoitov · 6 years ago
  25. e2f7fc0 bpf: fix undefined behavior in narrow load handling by Krzesimir Nowak · 6 years ago
  26. ff24e49 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  27. 6ac99e8 bpf: Introduce bpf sk local storage by Martin KaFai Lau · 6 years ago
  28. 9df1c28 bpf: add writable context for raw tracepoints by Matt Mullins · 6 years ago
  29. c6a9efa bpf: mark registers in all frames after pkt/null checks by Paul Chaignon · 6 years ago
  30. 45a73c1 bpf: drop bpf_verifier_lock by Alexei Starovoitov · 6 years ago
  31. 7df737e bpf: remove global variables by Alexei Starovoitov · 6 years ago
  32. 0d306c3 bpf: use BPF_CAST_CALL for casting bpf call by Prashant Bhole · 6 years ago
  33. c342dc1 bpf: refactor "check_reg_arg" to eliminate code redundancy by Jiong Wang · 6 years ago
  34. 55e7f3b bpf: factor out reg and stack slot propagation into "propagate_liveness_reg" by Jiong Wang · 6 years ago
  35. 3f8cafa bpf: refactor propagate_liveness to eliminate code redundance by Jiong Wang · 6 years ago
  36. 1b04aee bpf: refactor propagate_liveness to eliminate duplicated for loop by Jiong Wang · 6 years ago
  37. 57c3bb7 bpf: Introduce ARG_PTR_TO_{INT,LONG} arg types by Andrey Ignatov · 6 years ago
  38. 7b146ce bpf: Sysctl hook by Andrey Ignatov · 6 years ago
  39. bb23581 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  40. 591fe98 bpf: add program side {rd, wr}only support for maps by Daniel Borkmann · 6 years ago
  41. d8eca5b bpf: implement lookup-free direct value access for maps by Daniel Borkmann · 6 years ago
  42. f83f715 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  43. 1fbd20f bpf: Add missed newline in verifier verbose log by Andrey Ignatov · 6 years ago
  44. 107c26a7 bpf: Sanity check max value for var_off stack access by Andrey Ignatov · 6 years ago
  45. 088ec26 bpf: Reject indirect var_off stack access in unpriv mode by Andrey Ignatov · 6 years ago
  46. f2bcd05 bpf: Reject indirect var_off stack access in raw mode by Andrey Ignatov · 6 years ago
  47. 7a9f5c6 bpf: increase verifier log limit by Alexei Starovoitov · 6 years ago
  48. c04c0d2 bpf: increase complexity limit and maximum program size by Alexei Starovoitov · 6 years ago
  49. 4f73379 bpf: verbose jump offset overflow check by Alexei Starovoitov · 6 years ago
  50. 71dde68 bpf: convert temp arrays to kvcalloc by Alexei Starovoitov · 6 years ago
  51. 25af32d bpf: improve verification speed by not remarking live_read by Alexei Starovoitov · 6 years ago
  52. 9f4686c bpf: improve verification speed by droping states by Alexei Starovoitov · 6 years ago
  53. 06ee711 bpf: add verifier stats and log_level bit 2 by Alexei Starovoitov · 6 years ago
  54. 2011fcc bpf: Support variable offset stack access from helpers by Andrey Ignatov · 6 years ago
  55. 356d71e Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  56. 927cb78 bpf: remove incorrect 'verifier bug' warning by Paul Chaignon · 6 years ago
  57. 83d1631 bpf: verifier: propagate liveness on all frames by Jakub Kicinski · 6 years ago
  58. edbf8c0 bpf: add skc_lookup_tcp helper by Lorenz Bauer · 6 years ago
  59. 85a51f8 bpf: allow helpers to return PTR_TO_SOCK_COMMON by Lorenz Bauer · 6 years ago
  60. 0f3adc2 bpf: track references based on is_acquire_func by Lorenz Bauer · 6 years ago
  61. 0803278 bpf: do not restore dst_reg when cur_state is freed by Xu Yu · 6 years ago
  62. cba368c bpf: Only print ref_obj_id for refcounted reg by Martin KaFai Lau · 6 years ago
  63. 1b98658 bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release by Martin KaFai Lau · 6 years ago
  64. 2018239 bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm field by Daniel Borkmann · 6 years ago
  65. f7fb7c1 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  66. 9eb3591 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  67. 3612af7 bpf: fix sanitation rewrite in case of non-pointers by Daniel Borkmann · 6 years ago
  68. 492ecee bpf: enable program stats by Alexei Starovoitov · 6 years ago
  69. 655a51e bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sock by Martin KaFai Lau · 6 years ago
  70. 46f8bc9 bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helper by Martin KaFai Lau · 6 years ago
  71. 5f45664 bpf: Fix narrow load on a bpf_sock returned from sk_lookup() by Martin KaFai Lau · 6 years ago
  72. d623876 bpf: Fix narrow load on a bpf_sock returned from sk_lookup() by Martin KaFai Lau · 6 years ago
  73. e16d2f1 bpf: add support for bpf_spin_lock to cgroup local storage by Alexei Starovoitov · 6 years ago
  74. d83525c bpf: introduce bpf_spin_lock by Alexei Starovoitov · 6 years ago
  75. 092ed09 bpf: verifier support JMP32 by Jiong Wang · 6 years ago
  76. a72dafa bpf: refactor verifier min/max code for condition jump by Jiong Wang · 6 years ago
  77. 08ca90a bpf: notify offload JITs about optimizations by Jakub Kicinski · 6 years ago
  78. 9e4c24e bpf: verifier: record original instruction index by Jakub Kicinski · 6 years ago
  79. a1b14ab bpf: verifier: remove unconditional branches by 0 by Jakub Kicinski · 6 years ago
  80. 52875a0 bpf: verifier: remove dead code by Jakub Kicinski · 6 years ago
  81. e2ae4ca bpf: verifier: hard wire branches to dead code by Jakub Kicinski · 6 years ago
  82. d0b2818 bpf: fix a (false) compiler warning by Peter Oskolkov · 6 years ago
  83. d3bd741 bpf: fix sanitation of alu op with pointer / scalar type from different paths by Daniel Borkmann · 6 years ago
  84. 979d63d bpf: prevent out of bounds speculation on pointer arithmetic by Daniel Borkmann · 6 years ago
  85. b7137c4 bpf: fix check_map_access smin_value test when pointer contains offset by Daniel Borkmann · 6 years ago
  86. 9d7ecee bpf: restrict unknown scalars of mixed signed bounds for unprivileged by Daniel Borkmann · 6 years ago
  87. e4298d2 bpf: restrict stack pointer arithmetic for unprivileged by Daniel Borkmann · 6 years ago
  88. 0d6303d bpf: restrict map value pointer arithmetic for unprivileged by Daniel Borkmann · 6 years ago
  89. c08435e bpf: move {prev_,}insn_idx into verifier env by Daniel Borkmann · 6 years ago
  90. 339bbff Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  91. 2be09de Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  92. 9b38c40 bpf: verifier: reorder stack size check with dead code sanitization by Jakub Kicinski · 6 years ago
  93. 960ea05 bpf: verifier: teach the verifier to reason about the BPF_JSET instruction by Jakub Kicinski · 6 years ago
  94. fdbaa0b bpf: Ensure line_info.insn_off cannot point to insn with zero code by Martin KaFai Lau · 6 years ago
  95. 0bae2d4 bpf: correct slot_type marking logic to allow more stack slot sharing by Jiong Wang · 6 years ago
  96. 9242b5f bpf: add self-check logic to liveness analysis by Alexei Starovoitov · 6 years ago
  97. 19e2dbb bpf: improve stacksafe state comparison by Alexei Starovoitov · 6 years ago
  98. b233920 bpf: speed up stacksafe check by Alexei Starovoitov · 6 years ago
  99. d9762e8 bpf: verbose log bpf_line_info in verifier by Martin KaFai Lau · 6 years ago
  100. 23127b3 bpf: Create a new btf_name_by_offset() for non type name use case by Martin KaFai Lau · 6 years ago