Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / fc4c5a3828bdba157f8ea406e1f4ceb75c13039c / kernel / bpf / verifier.c
  1. ca36960 bpf: allow xadd only on aligned memory by Daniel Borkmann · 7 years ago
  2. f6b1b3b bpf: fix subprog verifier bypass by div/mod by 0 exception by Daniel Borkmann · 7 years ago
  3. 5e581da bpf: make unknown opcode handling more robust by Daniel Borkmann · 7 years ago
  4. 2a5418a bpf: improve dead code sanitizing by Daniel Borkmann · 7 years ago
  5. ea9722e Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 7 years ago
  6. 8565d26 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  7. 4bd95f4 bpf: add upper complexity limit to verifier log by Daniel Borkmann · 7 years ago
  8. 9013341 bpf, verifier: detect misconfigured mem, size argument pair by Daniel Borkmann · 7 years ago
  9. 6f16101 bpf: mark dst unknown on inconsistent {s, u}bounds adjustments by Daniel Borkmann · 7 years ago
  10. c02b374 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  11. f37a8cb bpf: reject stores into ctx via st and xadd by Daniel Borkmann · 7 years ago
  12. a388457 bpf: offload: add map offload infrastructure by Jakub Kicinski · 7 years ago
  13. 68fda45 bpf: fix 32-bit divide by zero by Alexei Starovoitov · 7 years ago
  14. 19d28fb Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  15. 7891a87 bpf: arsh is not supported in 32 bit alu thus reject it by Daniel Borkmann · 7 years ago
  16. 4095034 bpf: fix spelling mistake: "obusing" -> "abusing" by Colin Ian King · 7 years ago
  17. 430e68d bpf: export function to write into verifier log buffer by Quentin Monnet · 7 years ago
  18. b215739 bpf: prevent out-of-bounds speculation by Alexei Starovoitov · 7 years ago
  19. 5896351 bpf: fix verifier GPF in kmalloc failure path by Alexei Starovoitov · 7 years ago
  20. cae1927 bpf: offload: allow netdev to disappear while verifier is running by Jakub Kicinski · 7 years ago
  21. fcffe2e Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 7 years ago
  22. aada9ce bpf: fix max call depth check by Alexei Starovoitov · 7 years ago
  23. 70a87ff bpf: fix maximum stack depth tracking logic by Alexei Starovoitov · 7 years ago
  24. fd05e57 bpf: fix stacksafe exploration when comparing states by Gianluca Borello · 7 years ago
  25. fba961a Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  26. 7105e82 bpf: allow for correlation of maps and helpers in dump by Daniel Borkmann · 7 years ago
  27. 4f74d80 bpf: fix kallsyms handling for subprogs by Daniel Borkmann · 7 years ago
  28. 82abbf8 bpf: do not allow root to mangle valid pointers by Alexei Starovoitov · 7 years ago
  29. bb7f0f9 bpf: fix integer overflows by Alexei Starovoitov · 7 years ago
  30. 179d1c5 bpf: don't prune branches when a scalar is replaced with a pointer by Jann Horn · 7 years ago
  31. a5ec6ae bpf: force strict alignment checks for stack pointers by Jann Horn · 7 years ago
  32. ea25f91 bpf: fix missing error return in check_stack_boundary() by Jann Horn · 7 years ago
  33. 468f6ea bpf: fix 32-bit ALU op verification by Jann Horn · 7 years ago
  34. 0c17d1d bpf: fix incorrect tracking of register size truncation by Jann Horn · 7 years ago
  35. 95a762e bpf: fix incorrect sign extension in check_alu_op() by Jann Horn · 7 years ago
  36. 4374f25 bpf/verifier: fix bounds calculation on BPF_RSH by Edward Cree · 7 years ago
  37. fa2d41a bpf: make function skip_callee static and return NULL rather than 0 by Colin Ian King · 7 years ago
  38. e90004d5 bpf: fix spelling mistake: "funcation"-> "function" by Colin Ian King · 7 years ago
  39. 1c2a088 bpf: x64: add JIT support for multi-function programs by Alexei Starovoitov · 7 years ago
  40. 60b58afc bpf: fix net.core.bpf_jit_enable race by Alexei Starovoitov · 7 years ago
  41. 1ea47e0 bpf: add support for bpf_call to interpreter by Alexei Starovoitov · 7 years ago
  42. cc2b14d bpf: teach verifier to recognize zero initialized stack by Alexei Starovoitov · 7 years ago
  43. f4d7e40 bpf: introduce function calls (verification) by Alexei Starovoitov · 7 years ago
  44. cc8b0b9 bpf: introduce function calls (function boundaries) by Alexei Starovoitov · 7 years ago
  45. 04514d1 bpf: guarantee r1 to be ctx in case of bpf_helper_changes_pkt_data by Daniel Borkmann · 7 years ago
  46. 9802d86 bpf: add a bpf_override_function helper by Josef Bacik · 7 years ago
  47. 914cb78 bpf: cleanup register_is_null() by Alexei Starovoitov · 7 years ago
  48. 3bf1592 bpf: improve JEQ/JNE path walking by Alexei Starovoitov · 7 years ago
  49. 2f18f62 bpf: improve verifier liveness marks by Alexei Starovoitov · 7 years ago
  50. 19ceb41 bpf: don't mark FP reg as uninit by Alexei Starovoitov · 7 years ago
  51. 4e92024 bpf: print liveness info to verifier log by Alexei Starovoitov · 7 years ago
  52. 12a3cc8 bpf: fix stack state printing in verifier log by Alexei Starovoitov · 7 years ago
  53. c131187 bpf: fix branch pruning logic by Alexei Starovoitov · 7 years ago
  54. db1ac49 bpf: introduce ARG_PTR_TO_MEM_OR_NULL by Gianluca Borello · 7 years ago
  55. 9fd29c0 bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semantics by Yonghong Song · 7 years ago
  56. f3edacb bpf: Revert bpf_overrid_function() helper changes. by David S. Miller · 7 years ago
  57. dd0bb68 bpf: add a bpf_override_function helper by Josef Bacik · 7 years ago
  58. ebc614f bpf, cgroup: implement eBPF-based device controller for cgroup v2 by Roman Gushchin · 7 years ago
  59. b37a530 bpf: remove old offload/analyzer by Jakub Kicinski · 7 years ago
  60. ab3f006 bpf: offload: add infrastructure for loading programs for a specific netdev by Jakub Kicinski · 7 years ago
  61. 8c01c4f bpf: fix verifier NULL pointer dereference by Craig Gallek · 7 years ago
  62. eba0c92 bpf: fix out-of-bounds access warning in bpf_check by Arnd Bergmann · 7 years ago
  63. 7cce782 bpf: fix link error without CONFIG_NET by Arnd Bergmann · 7 years ago
  64. 5beca08 bpf: also improve pattern matches for meta access by Daniel Borkmann · 7 years ago
  65. b06723d bpf: minor cleanups after merge by Daniel Borkmann · 7 years ago
  66. 1969db4 bpf: fix verifier memory leaks by Alexei Starovoitov · 7 years ago
  67. 638f5b9 bpf: reduce verifier memory consumption by Alexei Starovoitov · 7 years ago
  68. f8ddadc Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  69. 0fd4759 bpf: fix pattern matches for direct packet access by Daniel Borkmann · 7 years ago
  70. fb2a311 bpf: fix off by one for range markings with L{T, E} patterns by Daniel Borkmann · 7 years ago
  71. 4f9218a bpf: move knowledge about post-translation offsets out of verifier by Jakub Kicinski · 7 years ago
  72. 00176a3 bpf: remove the verifier ops from program structure by Jakub Kicinski · 7 years ago
  73. 7de16e3 bpf: split verifier and program ops by Jakub Kicinski · 7 years ago
  74. 28e33f9 bpf: disallow arithmetic operations on context pointer by Jakub Kicinski · 7 years ago
  75. 9c270af bpf: XDP_REDIRECT enable use of cpumap by Jesper Dangaard Brouer · 7 years ago
  76. 6710e11 bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAP by Jesper Dangaard Brouer · 7 years ago
  77. 1bdec44 bpf: verifier: set reg_type on context accesses in second pass by Jakub Kicinski · 7 years ago
  78. a2a7d57 bpf: write back the verifier log buffer as it gets filled by Jakub Kicinski · 7 years ago
  79. f4ac7e0 bpf: move instruction printing into a separate file by Jakub Kicinski · 7 years ago
  80. 61bd521 bpf: move global verifier log into verifier environment by Jakub Kicinski · 7 years ago
  81. e7bf824 bpf: encapsulate verifier log state into a structure by Jakub Kicinski · 7 years ago
  82. d93fa2b Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  83. 8fe2d6c bpf: fix liveness marking by Alexei Starovoitov · 7 years ago
  84. 908432c bpf: add helper bpf_perf_event_read_value for perf event array map by Yonghong Song · 7 years ago
  85. 390ee7e bpf: enforce return code for cgroup-bpf programs by Alexei Starovoitov · 7 years ago
  86. 73c864b bpf/verifier: improve disassembly of BPF_NEG instructions by Edward Cree · 7 years ago
  87. 2b7c6ba bpf/verifier: improve disassembly of BPF_END instructions by Edward Cree · 7 years ago
  88. de8f3a8 bpf: add meta pointer for direct access by Daniel Borkmann · 7 years ago
  89. 7c30013 bpf: fix ri->map_owner pointer on bpf_prog_realloc by Daniel Borkmann · 7 years ago
  90. e67b8a6 bpf/verifier: reject BPF_ALU64|BPF_END by Edward Cree · 7 years ago
  91. 109980b bpf: don't select potentially stale ri->map from buggy xdp progs by Daniel Borkmann · 7 years ago
  92. 8e9cd9c bpf/verifier: document liveness analysis by Edward Cree · 7 years ago
  93. 1b688a1 bpf/verifier: remove varlen_map_value_access flag by Edward Cree · 7 years ago
  94. 63f45f8 bpf/verifier: when pruning a branch, ignore its write marks by Edward Cree · 7 years ago
  95. 89c6307 bpf: make htab inlining more robust wrt assumptions by Daniel Borkmann · 7 years ago
  96. 16a4362 bpf: Fix map-in-map checking in the verifier by Martin KaFai Lau · 7 years ago
  97. 1ab2de2 bpf: fix liveness propagation to parent in spilled stack slots by Daniel Borkmann · 7 years ago
  98. 8a31db5 bpf: add access to sock fields and pkt data from sk_skb programs by John Fastabend · 7 years ago
  99. 174a79f bpf: sockmap with sk redirect support by John Fastabend · 7 years ago
  100. dc503a8 bpf/verifier: track liveness for pruning by Edward Cree · 7 years ago