Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / 1658d6242a3d0bf95d93b8297fe729b2073d7899 / kernel / bpf / verifier.c
  1. 3949186 bpf: Explicitly zero-extend R0 after 32-bit cmpxchg by Brendan Jackman · 3 years, 11 months ago
  2. 83a2881 bpf: Account for BPF_FETCH in insn_has_def32() by Ilya Leoshkevich · 3 years, 11 months ago
  3. 33ccec5 bpf: Fix a warning message in mark_ptr_not_null_reg() by Dan Carpenter · 4 years ago
  4. d489ded Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by David S. Miller · 4 years ago
  5. b8af417 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 4 years ago
  6. 45159b2 bpf: Clear subreg_def for global function return values by Ilya Leoshkevich · 4 years ago
  7. e5069b9c bpf: Support pointers in global func args by Dmitrii Banshchikov · 4 years ago
  8. 4ddb741 bpf: Extract nullable reg type conversion into a helper function by Dmitrii Banshchikov · 4 years ago
  9. 9b00f1b bpf: Fix truncation handling for mod32 dst reg wrt zero by Daniel Borkmann · 4 years ago
  10. b2e37a7 bpf: Fix subreg optimization for BPF_FETCH by Ilya Leoshkevich · 4 years ago
  11. 638e4b8 bpf: Allows per-cpu maps and map-in-map in sleepable programs by Alexei Starovoitov · 4 years ago
  12. 700d479 bpf: Optimize program stats by Alexei Starovoitov · 4 years ago
  13. dc9d875 Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by David S. Miller · 4 years ago
  14. 01f810a bpf: Allow variable-offset stack access by Andrei Matei · 4 years ago
  15. e88b2c6 bpf: Fix 32 bit src register truncation on div/mod by Daniel Borkmann · 4 years ago
  16. fd67518 bpf: Fix verifier jmp32 pruning decision logic by Daniel Borkmann · 4 years ago
  17. ee114dd bpf: Fix verifier jsgt branch analysis on max bound by Daniel Borkmann · 4 years ago
  18. 23a2d70 bpf: Refactor BPF_PSEUDO_CALL checking as a helper function by Yonghong Song · 4 years ago
  19. ba90c2c bpf: Allow usage of BPF ringbuffer in sleepable programs by KP Singh · 4 years ago
  20. 37086bf bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCH by Brendan Jackman · 4 years ago
  21. 7724121 bpf: Allow rewriting to ports under ip_unprivileged_port_start by Stanislav Fomichev · 4 years ago
  22. 18b24d7 bpf: Fix typo in scalar{,32}_min_max_rsh comments by Tobias Klauser · 4 years ago
  23. 0fe2f27 Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by Jakub Kicinski · 4 years ago
  24. bc895e8 bpf: Fix signed_{sub,add32}_overflows type handling by Daniel Borkmann · 4 years ago
  25. 981f94c bpf: Add bitwise atomic instructions by Brendan Jackman · 4 years ago
  26. 5ffa255 bpf: Add instructions for atomic_[cmp]xchg by Brendan Jackman · 4 years ago
  27. 5ca419f bpf: Add BPF_FETCH field / create atomic_fetch_add instruction by Brendan Jackman · 4 years ago
  28. c5bcb5e bpf: Move BPF_STX reserved field check into BPF_STX verifier code by Brendan Jackman · 4 years ago
  29. 91c960b bpf: Rename BPF_XADD and prepare to encode other atomics in .imm by Brendan Jackman · 4 years ago
  30. 744ea4e bpf: Support PTR_TO_MEM{,_OR_NULL} register spilling by Gilad Reti · 4 years ago
  31. 541c3ba bpf: Support BPF ksym variables in kernel modules by Andrii Nakryiko · 4 years ago
  32. 28a8add bpf: Fix a verifier message for alloc size helper arg by Brendan Jackman · 4 years ago
  33. a6b5e02 Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by Jakub Kicinski · 4 years, 1 month ago
  34. cd17d38 bpf: Permits pointers on stack for helper calls by Yonghong Song · 4 years, 1 month ago
  35. 46d5e62 Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by Jakub Kicinski · 4 years, 1 month ago
  36. b0270958 bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds. by Alexei Starovoitov · 4 years, 1 month ago
  37. a1dd1d8 Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by Jakub Kicinski · 4 years, 2 months ago
  38. 22dc4a0 bpf: Remove hard-coded btf_vmlinux assumption from BPF verifier by Andrii Nakryiko · 4 years, 2 months ago
  39. 59e2e27 bpf: Refactor check_cfg to use a structured loop. by Wedson Almeida Filho · 4 years, 2 months ago
  40. 56495a2 Merge https://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by Jakub Kicinski · 4 years, 2 months ago
  41. f782e2c bpf: Relax return code check for subprograms by Dmitrii Banshchikov · 4 years, 2 months ago
  42. 423f161 bpf: Augment the set of sleepable LSM hooks by KP Singh · 4 years, 2 months ago
  43. 6d94e74 bpf: Support for pointers beyond pkt_end. by Alexei Starovoitov · 4 years, 2 months ago
  44. f16e631 bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_id by Kaixu Xia · 4 years, 2 months ago
  45. 3ca1032 bpf: Implement get_current_task_btf and RET_PTR_TO_BTF_ID by KP Singh · 4 years, 3 months ago
  46. 4cf1bc1 bpf: Implement task local storage by KP Singh · 4 years, 3 months ago
  47. 9e7a4d9 bpf: Allow LSM programs to use bpf spin locks by KP Singh · 4 years, 3 months ago
  48. 93c230e bpf: Enforce id generation for all may-be-null register type by Martin KaFai Lau · 4 years, 3 months ago
  49. e688c3d bpf: Fix register equivalence tracking. by Alexei Starovoitov · 4 years, 3 months ago
  50. ccdf7fa Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by Jakub Kicinski · 4 years, 3 months ago
  51. 4a8f87e bpf: Allow for map-in-map with dynamic inner array map entries by Daniel Borkmann · 4 years, 3 months ago
  52. 5689d49 bpf: Track spill/fill of bounded scalars. by Yonghong Song · 4 years, 3 months ago
  53. 7574883 bpf: Propagate scalar ranges through register assignments. by Alexei Starovoitov · 4 years, 3 months ago
  54. 9d49aea Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by Jakub Kicinski · 4 years, 4 months ago
  55. 5b9fbeb bpf: Fix scalar32_min_max_or bounds tracking by Daniel Borkmann · 4 years, 4 months ago
  56. 49a2a4d kernel/bpf/verifier: Fix build when NET is not enabled by Randy Dunlap · 4 years, 4 months ago
  57. 8731745 bpf, verifier: Use fallthrough pseudo-keyword by Gustavo A. R. Silva · 4 years, 4 months ago
  58. 63d9b80 bpf: Introducte bpf_this_cpu_ptr() by Hao Luo · 4 years, 4 months ago
  59. eaa6bcb bpf: Introduce bpf_per_cpu_ptr() by Hao Luo · 4 years, 4 months ago
  60. 4976b71 bpf: Introduce pseudo_btf_id by Hao Luo · 4 years, 4 months ago
  61. 4a1e7c0 bpf: Support attaching freplace programs to multiple attach points by Toke Høiland-Jørgensen · 4 years, 4 months ago
  62. 3aac1ea bpf: Move prog->aux->linked_prog and trampoline into bpf_link on attach by Toke Høiland-Jørgensen · 4 years, 4 months ago
  63. 76654e6 bpf: Provide function to get vmlinux BTF information by Alan Maguire · 4 years, 4 months ago
  64. f7b12b6 bpf: verifier: refactor check_attach_btf_id() by Toke Høiland-Jørgensen · 4 years, 4 months ago
  65. efc6815 bpf: change logging calls from verbose() to bpf_log() and use log pointer by Toke Høiland-Jørgensen · 4 years, 4 months ago
  66. 1af9270 bpf: disallow attaching modify_return tracing functions to other BPF programs by Toke Høiland-Jørgensen · 4 years, 4 months ago
  67. 6550f2d bpf: sockmap: Enable map_update_elem from bpf_iter by Lorenz Bauer · 4 years, 4 months ago
  68. 4fbb38a bpf, verifier: Remove redundant var_off.value ops in scalar known reg cases by John Fastabend · 4 years, 4 months ago
  69. 1df8f55 bpf: Enable bpf_skc_to_* sock casting helper to networking prog type by Martin KaFai Lau · 4 years, 4 months ago
  70. a968d5e bpf: Move the PTR_TO_BTF_ID check to check_reg_type() by Martin KaFai Lau · 4 years, 4 months ago
  71. 6d772f3 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 4 years, 4 months ago
  72. 0789e13b bpf: Explicitly size compatible_reg_types by Lorenz Bauer · 4 years, 4 months ago
  73. f79e7ea bpf: Use a table to drive helper arg type checks by Lorenz Bauer · 4 years, 4 months ago
  74. fd1b0d6 bpf: Hoist type checking for nullable arg types by Lorenz Bauer · 4 years, 4 months ago
  75. c18f0b6 bpf: Check ARG_PTR_TO_SPINLOCK register type in check_func_arg by Lorenz Bauer · 4 years, 4 months ago
  76. a2bbe7c bpf: Set meta->raw_mode for pointers close to use by Lorenz Bauer · 4 years, 4 months ago
  77. feec704 bpf: Make context access check generic by Lorenz Bauer · 4 years, 4 months ago
  78. 02f7c95 bpf: Make reference tracking generic by Lorenz Bauer · 4 years, 4 months ago
  79. d7b9454 bpf: Make BTF pointer type checking generic by Lorenz Bauer · 4 years, 4 months ago
  80. 9436ef6 bpf: Allow specifying a BTF ID per argument in function protos by Lorenz Bauer · 4 years, 4 months ago
  81. 0d004c02 bpf: Check scalar or invalid register in check_helper_mem_access by Lorenz Bauer · 4 years, 4 months ago
  82. 09b28d7 bpf: Add abnormal return checks. by Alexei Starovoitov · 4 years, 4 months ago
  83. e411901 bpf: allow for tailcalls in BPF subprograms for x64 JIT by Maciej Fijalkowski · 4 years, 4 months ago
  84. ebf7d1f bpf, x64: rework pro/epilogue and tailcall handling in JIT by Maciej Fijalkowski · 4 years, 4 months ago
  85. 7f6e431 bpf: Limit caller's stack depth 256 for subprogs with tailcalls by Maciej Fijalkowski · 4 years, 4 months ago
  86. a748c69 bpf: propagate poke descriptors to subprograms by Maciej Fijalkowski · 4 years, 4 months ago
  87. 7c69673 bpf: Permit map_ptr arithmetic with opcode add and offset 0 by Yonghong Song · 4 years, 5 months ago
  88. 44a8c4f Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by Jakub Kicinski · 4 years, 5 months ago
  89. f56407f bpf: Remove bpf_lsm_file_mprotect from sleepable list. by Alexei Starovoitov · 4 years, 5 months ago
  90. 29523c5 bpf: Fix build without BPF_LSM. by Alexei Starovoitov · 4 years, 5 months ago
  91. 1e6c62a bpf: Introduce sleepable BPF programs by Alexei Starovoitov · 4 years, 5 months ago
  92. 2921c90 bpf: Fix a verifier failure with xor by Yonghong Song · 4 years, 5 months ago
  93. 7e40781 bpf: verifier: Use target program's type for access verifications by Udip Pant · 4 years, 5 months ago
  94. eae2e83 bpf: Add BTF_SET_START/END macros by Jiri Olsa · 4 years, 5 months ago
  95. faaf4a7 bpf: Add btf_struct_ids_match function by Jiri Olsa · 4 years, 5 months ago
  96. 8ea6368 bpf: Implement bpf_local_storage for inodes by KP Singh · 4 years, 5 months ago
  97. df561f66 treewide: Use fallthrough pseudo-keyword by Gustavo A. R. Silva · 4 years, 5 months ago
  98. 0126240 bpf: sockmap: Allow update from BPF by Lorenz Bauer · 4 years, 5 months ago
  99. 912f442 bpf: Override the meaning of ARG_PTR_TO_MAP_VALUE for sockmap and sockhash by Lorenz Bauer · 4 years, 5 months ago
  100. b8c1a30 bpf: Delete repeated words in comments by Randy Dunlap · 4 years, 6 months ago