Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / 9fd29c08e52023252f0480ab8f6906a1ecc9a8d5 / kernel / bpf / verifier.c
  1. 9fd29c0 bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semantics by Yonghong Song · 7 years ago
  2. f3edacb bpf: Revert bpf_overrid_function() helper changes. by David S. Miller · 7 years ago
  3. dd0bb68 bpf: add a bpf_override_function helper by Josef Bacik · 7 years ago
  4. ebc614f bpf, cgroup: implement eBPF-based device controller for cgroup v2 by Roman Gushchin · 7 years ago
  5. b37a530 bpf: remove old offload/analyzer by Jakub Kicinski · 7 years ago
  6. ab3f006 bpf: offload: add infrastructure for loading programs for a specific netdev by Jakub Kicinski · 7 years ago
  7. 8c01c4f bpf: fix verifier NULL pointer dereference by Craig Gallek · 7 years ago
  8. eba0c92 bpf: fix out-of-bounds access warning in bpf_check by Arnd Bergmann · 7 years ago
  9. 7cce782 bpf: fix link error without CONFIG_NET by Arnd Bergmann · 7 years ago
  10. 5beca08 bpf: also improve pattern matches for meta access by Daniel Borkmann · 7 years ago
  11. b06723d bpf: minor cleanups after merge by Daniel Borkmann · 7 years ago
  12. 1969db4 bpf: fix verifier memory leaks by Alexei Starovoitov · 7 years ago
  13. 638f5b9 bpf: reduce verifier memory consumption by Alexei Starovoitov · 7 years ago
  14. f8ddadc Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  15. 0fd4759 bpf: fix pattern matches for direct packet access by Daniel Borkmann · 7 years ago
  16. fb2a311 bpf: fix off by one for range markings with L{T, E} patterns by Daniel Borkmann · 7 years ago
  17. 4f9218a bpf: move knowledge about post-translation offsets out of verifier by Jakub Kicinski · 7 years ago
  18. 00176a3 bpf: remove the verifier ops from program structure by Jakub Kicinski · 7 years ago
  19. 7de16e3 bpf: split verifier and program ops by Jakub Kicinski · 7 years ago
  20. 28e33f9 bpf: disallow arithmetic operations on context pointer by Jakub Kicinski · 7 years ago
  21. 9c270af bpf: XDP_REDIRECT enable use of cpumap by Jesper Dangaard Brouer · 7 years ago
  22. 6710e11 bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAP by Jesper Dangaard Brouer · 7 years ago
  23. 1bdec44 bpf: verifier: set reg_type on context accesses in second pass by Jakub Kicinski · 7 years ago
  24. a2a7d57 bpf: write back the verifier log buffer as it gets filled by Jakub Kicinski · 7 years ago
  25. f4ac7e0 bpf: move instruction printing into a separate file by Jakub Kicinski · 7 years ago
  26. 61bd521 bpf: move global verifier log into verifier environment by Jakub Kicinski · 7 years ago
  27. e7bf824 bpf: encapsulate verifier log state into a structure by Jakub Kicinski · 7 years ago
  28. d93fa2b Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  29. 8fe2d6c bpf: fix liveness marking by Alexei Starovoitov · 7 years ago
  30. 908432c bpf: add helper bpf_perf_event_read_value for perf event array map by Yonghong Song · 7 years ago
  31. 390ee7e bpf: enforce return code for cgroup-bpf programs by Alexei Starovoitov · 7 years ago
  32. 73c864b bpf/verifier: improve disassembly of BPF_NEG instructions by Edward Cree · 7 years ago
  33. 2b7c6ba bpf/verifier: improve disassembly of BPF_END instructions by Edward Cree · 7 years ago
  34. de8f3a8 bpf: add meta pointer for direct access by Daniel Borkmann · 7 years ago
  35. 7c30013 bpf: fix ri->map_owner pointer on bpf_prog_realloc by Daniel Borkmann · 7 years ago
  36. e67b8a6 bpf/verifier: reject BPF_ALU64|BPF_END by Edward Cree · 7 years ago
  37. 109980b bpf: don't select potentially stale ri->map from buggy xdp progs by Daniel Borkmann · 7 years ago
  38. 8e9cd9c bpf/verifier: document liveness analysis by Edward Cree · 7 years ago
  39. 1b688a1 bpf/verifier: remove varlen_map_value_access flag by Edward Cree · 7 years ago
  40. 63f45f8 bpf/verifier: when pruning a branch, ignore its write marks by Edward Cree · 7 years ago
  41. 89c6307 bpf: make htab inlining more robust wrt assumptions by Daniel Borkmann · 7 years ago
  42. 16a4362 bpf: Fix map-in-map checking in the verifier by Martin KaFai Lau · 7 years ago
  43. 1ab2de2 bpf: fix liveness propagation to parent in spilled stack slots by Daniel Borkmann · 7 years ago
  44. 8a31db5 bpf: add access to sock fields and pkt data from sk_skb programs by John Fastabend · 7 years ago
  45. 174a79f bpf: sockmap with sk redirect support by John Fastabend · 7 years ago
  46. dc503a8 bpf/verifier: track liveness for pruning by Edward Cree · 7 years ago
  47. b4e432f bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifier by Daniel Borkmann · 7 years ago
  48. 8e17c1b bpf/verifier: increase complexity limit to 128k by Edward Cree · 7 years ago
  49. 7d1238f bpf/verifier: more concise register state logs for constant var_off by Edward Cree · 7 years ago
  50. b03c9f9 bpf/verifier: track signed and unsigned min/max values by Edward Cree · 7 years ago
  51. f1174f7 bpf/verifier: rework value tracking by Edward Cree · 7 years ago
  52. 29fda25 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  53. 9305706 bpf/verifier: fix min/max handling in BPF_SUB by Edward Cree · 8 years ago
  54. 7a68ada Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  55. 4cabc5b bpf: fix mixed signed/unsigned derived min/max value bounds by Daniel Borkmann · 8 years ago
  56. 2ddf71e net: add notifier hooks for devmap bpf map by John Fastabend · 8 years ago
  57. 97f91a7 bpf: add bpf_redirect_map helper routine by John Fastabend · 8 years ago
  58. 546ac1f bpf: add devmap, a map for storing net device references by John Fastabend · 8 years ago
  59. 4318870 bpf, verifier: add additional patterns to evaluate_reg_imm_alu by John Fastabend · 8 years ago
  60. f96da09 bpf: simplify narrower ctx access by Daniel Borkmann · 8 years ago
  61. b079115 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  62. 6bdf6ab bpf: prevent leaking pointer via xadd on unpriviledged by Daniel Borkmann · 8 years ago
  63. 2399463 bpf: possibly avoid extra masking for narrower load in verifier by Yonghong Song · 8 years ago
  64. 31fd858 bpf: permits narrower load from bpf program context fields by Yonghong Song · 8 years ago
  65. 36e24c0 bpf: reset id on spilled regs in clear_all_pkt_pointers by Daniel Borkmann · 8 years ago
  66. 4a2ff55 bpf: reset id on CONST_IMM transition by Daniel Borkmann · 8 years ago
  67. d25da6c bpf: don't check spilled reg state for non-STACK_SPILLed type slots by Daniel Borkmann · 8 years ago
  68. 9204657 bpf: cgroup skb progs cannot access ld_abs/ind by Daniel Borkmann · 8 years ago
  69. fb9a307 bpf: Allow CGROUP_SKB eBPF program to access sk_buff by Chenbo Feng · 8 years ago
  70. 80a58d0 bpf: reconcile bpf_tail_call and stack_depth by Alexei Starovoitov · 8 years ago
  71. 8726679 bpf: teach verifier to track stack depth by Alexei Starovoitov · 8 years ago
  72. 71189fa bpf: free up BPF_JMP | BPF_CALL | BPF_X opcode by Alexei Starovoitov · 8 years ago
  73. a9789ef bpf: properly reset caller saved regs after helper call and ld_abs/ind by Daniel Borkmann · 8 years ago
  74. 1ad2f58 bpf: fix incorrect pruning decision when alignment must be tracked by Daniel Borkmann · 8 years ago
  75. e4eda88 net: Make IP alignment calulations clearer. by David S. Miller · 8 years ago
  76. 3c2ce60 bpf: adjust verifier heuristics by Daniel Borkmann · 8 years ago
  77. 6832a33 bpf: Handle multiple variable additions into packet pointers in verifier. by David S. Miller · 8 years ago
  78. e07b98d bpf: Add strict alignment flag for BPF_PROG_LOAD. by David S. Miller · 8 years ago
  79. c5fc969 bpf: Do per-instruction state dumping in verifier when log_level > 1. by David S. Miller · 8 years ago
  80. d117441 bpf: Track alignment of register values in the verifier. by David S. Miller · 8 years ago
  81. 0d0e576 bpf: don't let ldimm64 leak map addresses on unprivileged by Daniel Borkmann · 8 years ago
  82. 332270f bpf: enhance verifier to understand stack pointer arithmetic by Yonghong Song · 8 years ago
  83. e390b55 bpf: make bpf_xdp_adjust_head support mandatory by Daniel Borkmann · 8 years ago
  84. 7b9f6da Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  85. 6f14f44 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  86. 79adffc bpf, verifier: fix rejection of unaligned access checks for map_value_adj by Daniel Borkmann · 8 years ago
  87. fce366a bpf, verifier: fix alu ops against map_value{, _adj} register types by Daniel Borkmann · 8 years ago
  88. b197768 bpf: improve verifier packet range checks by Alexei Starovoitov · 8 years ago
  89. bcc6b1b bpf: Add hash of maps support by Martin KaFai Lau · 8 years ago
  90. 56f668d bpf: Add array of maps support by Martin KaFai Lau · 8 years ago
  91. fad73a1 bpf: Fix and simplifications on inline map lookup by Martin KaFai Lau · 8 years ago
  92. 81ed18a bpf: add helper inlining infra and optimize map_array lookup by Alexei Starovoitov · 8 years ago
  93. 8041902 bpf: adjust insn_aux_data when patching insns by Alexei Starovoitov · 8 years ago
  94. 79741b3 bpf: refactor fixup_bpf_calls() by Alexei Starovoitov · 8 years ago
  95. e245c5c6 bpf: move fixup_bpf_calls() function by Alexei Starovoitov · 8 years ago
  96. eba38a9 bpf: update the comment about the length of analysis by Gary Lin · 8 years ago
  97. bc1750f bpf: fix spelling mistake: "proccessed" -> "processed" by Colin Ian King · 8 years ago
  98. 7e57fbb bpf: reduce compiler warnings by adding fallthrough comments by Alexander Alemayhu · 8 years ago
  99. 63dfef7 bpf: enable verifier to add 0 to packet ptr by William Tu · 8 years ago
  100. 3fadc80 bpf: enable verifier to better track const alu ops by Daniel Borkmann · 8 years ago