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