Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / 28e33f9d78eefe98ea86673ab31e988b37a9a738 / kernel / bpf / verifier.c
  1. 28e33f9 bpf: disallow arithmetic operations on context pointer by Jakub Kicinski · 7 years ago
  2. 8fe2d6c bpf: fix liveness marking by Alexei Starovoitov · 7 years ago
  3. 7c30013 bpf: fix ri->map_owner pointer on bpf_prog_realloc by Daniel Borkmann · 7 years ago
  4. e67b8a6 bpf/verifier: reject BPF_ALU64|BPF_END by Edward Cree · 7 years ago
  5. 109980b bpf: don't select potentially stale ri->map from buggy xdp progs by Daniel Borkmann · 7 years ago
  6. 8e9cd9c bpf/verifier: document liveness analysis by Edward Cree · 7 years ago
  7. 1b688a1 bpf/verifier: remove varlen_map_value_access flag by Edward Cree · 7 years ago
  8. 63f45f8 bpf/verifier: when pruning a branch, ignore its write marks by Edward Cree · 7 years ago
  9. 89c6307 bpf: make htab inlining more robust wrt assumptions by Daniel Borkmann · 7 years ago
  10. 16a4362 bpf: Fix map-in-map checking in the verifier by Martin KaFai Lau · 7 years ago
  11. 1ab2de2 bpf: fix liveness propagation to parent in spilled stack slots by Daniel Borkmann · 7 years ago
  12. 8a31db5 bpf: add access to sock fields and pkt data from sk_skb programs by John Fastabend · 7 years ago
  13. 174a79f bpf: sockmap with sk redirect support by John Fastabend · 7 years ago
  14. dc503a8 bpf/verifier: track liveness for pruning by Edward Cree · 7 years ago
  15. b4e432f bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifier by Daniel Borkmann · 7 years ago
  16. 8e17c1b bpf/verifier: increase complexity limit to 128k by Edward Cree · 7 years ago
  17. 7d1238f bpf/verifier: more concise register state logs for constant var_off by Edward Cree · 7 years ago
  18. b03c9f9 bpf/verifier: track signed and unsigned min/max values by Edward Cree · 7 years ago
  19. f1174f7 bpf/verifier: rework value tracking by Edward Cree · 7 years ago
  20. 29fda25 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  21. 9305706 bpf/verifier: fix min/max handling in BPF_SUB by Edward Cree · 7 years ago
  22. 7a68ada Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  23. 4cabc5b bpf: fix mixed signed/unsigned derived min/max value bounds by Daniel Borkmann · 7 years ago
  24. 2ddf71e net: add notifier hooks for devmap bpf map by John Fastabend · 7 years ago
  25. 97f91a7 bpf: add bpf_redirect_map helper routine by John Fastabend · 7 years ago
  26. 546ac1f bpf: add devmap, a map for storing net device references by John Fastabend · 7 years ago
  27. 4318870 bpf, verifier: add additional patterns to evaluate_reg_imm_alu by John Fastabend · 8 years ago
  28. f96da09 bpf: simplify narrower ctx access by Daniel Borkmann · 8 years ago
  29. b079115 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  30. 6bdf6ab bpf: prevent leaking pointer via xadd on unpriviledged by Daniel Borkmann · 8 years ago
  31. 2399463 bpf: possibly avoid extra masking for narrower load in verifier by Yonghong Song · 8 years ago
  32. 31fd858 bpf: permits narrower load from bpf program context fields by Yonghong Song · 8 years ago
  33. 36e24c0 bpf: reset id on spilled regs in clear_all_pkt_pointers by Daniel Borkmann · 8 years ago
  34. 4a2ff55 bpf: reset id on CONST_IMM transition by Daniel Borkmann · 8 years ago
  35. d25da6c bpf: don't check spilled reg state for non-STACK_SPILLed type slots by Daniel Borkmann · 8 years ago
  36. 9204657 bpf: cgroup skb progs cannot access ld_abs/ind by Daniel Borkmann · 8 years ago
  37. fb9a307 bpf: Allow CGROUP_SKB eBPF program to access sk_buff by Chenbo Feng · 8 years ago
  38. 80a58d0 bpf: reconcile bpf_tail_call and stack_depth by Alexei Starovoitov · 8 years ago
  39. 8726679 bpf: teach verifier to track stack depth by Alexei Starovoitov · 8 years ago
  40. 71189fa bpf: free up BPF_JMP | BPF_CALL | BPF_X opcode by Alexei Starovoitov · 8 years ago
  41. a9789ef bpf: properly reset caller saved regs after helper call and ld_abs/ind by Daniel Borkmann · 8 years ago
  42. 1ad2f58 bpf: fix incorrect pruning decision when alignment must be tracked by Daniel Borkmann · 8 years ago
  43. e4eda88 net: Make IP alignment calulations clearer. by David S. Miller · 8 years ago
  44. 3c2ce60 bpf: adjust verifier heuristics by Daniel Borkmann · 8 years ago
  45. 6832a33 bpf: Handle multiple variable additions into packet pointers in verifier. by David S. Miller · 8 years ago
  46. e07b98d bpf: Add strict alignment flag for BPF_PROG_LOAD. by David S. Miller · 8 years ago
  47. c5fc969 bpf: Do per-instruction state dumping in verifier when log_level > 1. by David S. Miller · 8 years ago
  48. d117441 bpf: Track alignment of register values in the verifier. by David S. Miller · 8 years ago
  49. 0d0e576 bpf: don't let ldimm64 leak map addresses on unprivileged by Daniel Borkmann · 8 years ago
  50. 332270f bpf: enhance verifier to understand stack pointer arithmetic by Yonghong Song · 8 years ago
  51. e390b55 bpf: make bpf_xdp_adjust_head support mandatory by Daniel Borkmann · 8 years ago
  52. 7b9f6da Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  53. 6f14f44 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  54. 79adffc bpf, verifier: fix rejection of unaligned access checks for map_value_adj by Daniel Borkmann · 8 years ago
  55. fce366a bpf, verifier: fix alu ops against map_value{, _adj} register types by Daniel Borkmann · 8 years ago
  56. b197768 bpf: improve verifier packet range checks by Alexei Starovoitov · 8 years ago
  57. bcc6b1b bpf: Add hash of maps support by Martin KaFai Lau · 8 years ago
  58. 56f668d bpf: Add array of maps support by Martin KaFai Lau · 8 years ago
  59. fad73a1 bpf: Fix and simplifications on inline map lookup by Martin KaFai Lau · 8 years ago
  60. 81ed18a bpf: add helper inlining infra and optimize map_array lookup by Alexei Starovoitov · 8 years ago
  61. 8041902 bpf: adjust insn_aux_data when patching insns by Alexei Starovoitov · 8 years ago
  62. 79741b3 bpf: refactor fixup_bpf_calls() by Alexei Starovoitov · 8 years ago
  63. e245c5c6 bpf: move fixup_bpf_calls() function by Alexei Starovoitov · 8 years ago
  64. eba38a9 bpf: update the comment about the length of analysis by Gary Lin · 8 years ago
  65. bc1750f bpf: fix spelling mistake: "proccessed" -> "processed" by Colin Ian King · 8 years ago
  66. 7e57fbb bpf: reduce compiler warnings by adding fallthrough comments by Alexander Alemayhu · 8 years ago
  67. 63dfef7 bpf: enable verifier to add 0 to packet ptr by William Tu · 8 years ago
  68. 3fadc80 bpf: enable verifier to better track const alu ops by Daniel Borkmann · 8 years ago
  69. 580bdf5 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  70. f1f7714 bpf: rework prog_digest into prog_tag by Daniel Borkmann · 8 years ago
  71. 62c7989 bpf: allow b/h/w/dw access for bpf's cb in ctx by Daniel Borkmann · 8 years ago
  72. 6b8cc1d bpf: pass original insn directly to convert_ctx_access by Daniel Borkmann · 8 years ago
  73. 39f19ebb bpf: rename ARG_PTR_TO_STACK by Alexei Starovoitov · 8 years ago
  74. 06c1c04 bpf: allow helpers access to variable memory by Gianluca Borello · 8 years ago
  75. f0318d0 bpf: allow adjusted map element values to spill by Gianluca Borello · 8 years ago
  76. 5722569 bpf: allow helpers access to map element values by Gianluca Borello · 8 years ago
  77. dbcfe5f bpf: split check_mem_access logic for map values by Gianluca Borello · 8 years ago
  78. 6760bf2 bpf: fix mark_reg_unknown_value for spilled regs on map value marking by Daniel Borkmann · 8 years ago
  79. aafe6ae bpf: dynamically allocate digest scratch buffer by Daniel Borkmann · 8 years ago
  80. a08dd0d bpf: fix regression on verifier pruning wrt map lookups by Daniel Borkmann · 8 years ago
  81. 17bedab bpf: xdp: Allow head adjustment in XDP prog by Martin KaFai Lau · 8 years ago
  82. d2a4dd3 bpf: fix state equivalence by Alexei Starovoitov · 8 years ago
  83. ef0915c bpf: fix loading of BPF_MAXINSNS sized programs by Daniel Borkmann · 8 years ago
  84. 7bd509e bpf: add prog_digest and expose it via fdinfo/netlink by Daniel Borkmann · 8 years ago
  85. 3c839744 bpf: Preserve const register type on const OR alu ops by Gianluca Borello · 8 years ago
  86. 2745529 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  87. 3a0af8f bpf: BPF for lightweight tunnel infrastructure by Thomas Graf · 8 years ago
  88. e2d2afe bpf: fix states equal logic for varlen access by Josef Bacik · 8 years ago
  89. f9aa9dc Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  90. f23cc64 bpf: fix range arithmetic for bpf map access by Josef Bacik · 8 years ago
  91. de46437 bpf: Remove unused but set variables by Tobias Klauser · 8 years ago
  92. ebb676d bpf: Print function name in addition to function id by Thomas Graf · 8 years ago
  93. 57a09bf bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers by Thomas Graf · 8 years ago
  94. 4846113 bpf: allow access into map value arrays by Josef Bacik · 8 years ago
  95. 1955351 bpf: Set register type according to is_valid_access() by Mickaël Salaün · 8 years ago
  96. 6b17387 bpf: recognize 64bit immediate loads as consts by Jakub Kicinski · 8 years ago
  97. 13a27df bpf: enable non-core use of the verfier by Jakub Kicinski · 8 years ago
  98. 58e2af8b bpf: expose internal verfier structures by Jakub Kicinski · 8 years ago
  99. 3df126f bpf: don't (ab)use instructions to store state by Jakub Kicinski · 8 years ago
  100. 36bbef5 bpf: direct packet write and access for helpers for clsact progs by Daniel Borkmann · 8 years ago