Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / kernel / common / e15d7f2b81d2e7d93115d46fa931b366c1cdebc2 / include / linux / bpf_verifier.h
  1. 457f443 bpf: Implement BPF ring buffer and verifier support for it by Andrii Nakryiko · 4 years, 8 months ago
  2. 2c78ee8 bpf: Implement CAP_BPF by Alexei Starovoitov · 4 years, 8 months ago
  3. 3f50f13 bpf: Verifier, do explicit ALU32 bounds tracking by John Fastabend · 4 years, 10 months ago
  4. 51c39bb bpf: Introduce function-by-function verification by Alexei Starovoitov · 5 years ago
  5. d2e4c1e bpf: Constant map key tracking for prog array pokes by Daniel Borkmann · 5 years ago
  6. 8c1b6e6 bpf: Compare BTF types of functions arguments with actual types by Alexei Starovoitov · 5 years ago
  7. 9e15db6 bpf: Implement accurate raw_tp context access via BTF by Alexei Starovoitov · 5 years ago
  8. 8580ac9 bpf: Process in-kernel BTF by Alexei Starovoitov · 5 years ago
  9. 10d274e bpf: introduce verifier internal test flag by Alexei Starovoitov · 5 years ago
  10. dca73a6 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  11. b5dc016 bpf: precise scalar_value tracking by Alexei Starovoitov · 6 years ago
  12. 2589726 bpf: introduce bounded loops by Alexei Starovoitov · 6 years ago
  13. a6cdeeb Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  14. 25763b3 treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206 by Thomas Gleixner · 6 years ago
  15. 5327ed3 bpf: verifier: mark verified-insn with sub-register zext flag by Jiong Wang · 6 years ago
  16. dc2a4eb bpf: convert explored_states to hash table by Alexei Starovoitov · 6 years ago
  17. a8f500a bpf: split explored_states by Alexei Starovoitov · 6 years ago
  18. 7df737e bpf: remove global variables by Alexei Starovoitov · 6 years ago
  19. d8eca5b bpf: implement lookup-free direct value access for maps by Daniel Borkmann · 6 years ago
  20. 9f4686c bpf: improve verification speed by droping states by Alexei Starovoitov · 6 years ago
  21. 06ee711 bpf: add verifier stats and log_level bit 2 by Alexei Starovoitov · 6 years ago
  22. 1b98658 bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release by Martin KaFai Lau · 6 years ago
  23. d83525c bpf: introduce bpf_spin_lock by Alexei Starovoitov · 6 years ago
  24. 08ca90a bpf: notify offload JITs about optimizations by Jakub Kicinski · 6 years ago
  25. 9e4c24e bpf: verifier: record original instruction index by Jakub Kicinski · 6 years ago
  26. d3bd741 bpf: fix sanitation of alu op with pointer / scalar type from different paths by Daniel Borkmann · 6 years ago
  27. 979d63d bpf: prevent out of bounds speculation on pointer arithmetic by Daniel Borkmann · 6 years ago
  28. c08435e bpf: move {prev_,}insn_idx into verifier env by Daniel Borkmann · 6 years ago
  29. 9242b5f bpf: add self-check logic to liveness analysis by Alexei Starovoitov · 6 years ago
  30. d9762e8 bpf: verbose log bpf_line_info in verifier by Martin KaFai Lau · 6 years ago
  31. c454a46 bpf: Add bpf_line_info support by Martin KaFai Lau · 6 years ago
  32. ba64e7d bpf: btf: support proper non-jit func info by Yonghong Song · 6 years ago
  33. 838e969 bpf: Introduce bpf_func_info by Yonghong Song · 6 years ago
  34. a40a263 bpf: pass prog instead of env to bpf_prog_offload_verifier_prep() by Quentin Monnet · 6 years ago
  35. 0962590 bpf: fix partial copy of map_ptr when dst is scalar by Daniel Borkmann · 6 years ago
  36. c941ce9 bpf: add verifier callback to get stack usage info for offloaded progs by Quentin Monnet · 6 years ago
  37. fd978bf7 bpf: Add reference tracking to verifier by Joe Stringer · 6 years ago
  38. c64b798 bpf: Add PTR_TO_SOCKET verifier type by Joe Stringer · 6 years ago
  39. f3709f6 bpf: Add iterator for spilled registers by Joe Stringer · 6 years ago
  40. 679c782 bpf/verifier: per-register parent pointers by Edward Cree · 6 years ago
  41. 5b79c2a Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  42. 03250e10 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by Linus Torvalds · 7 years ago
  43. c93552c bpf: properly enforce index mask to prevent out-of-bounds speculation by Daniel Borkmann · 7 years ago
  44. af86ca4 bpf: Prevent memory disambiguation attack by Alexei Starovoitov · 7 years ago
  45. be2d04d bpf: add __printf verification to bpf_verifier_vlog by Mathieu Malaterre · 7 years ago
  46. 9c8105b bpf: centre subprog information fields by Jiong Wang · 7 years ago
  47. f910cef bpf: unify main prog and subprog by Jiong Wang · 7 years ago
  48. 77d2e05 bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed() by Martin KaFai Lau · 7 years ago
  49. b9193c1 bpf: Rename bpf_verifer_log by Martin KaFai Lau · 7 years ago
  50. 430e68d bpf: export function to write into verifier log buffer by Quentin Monnet · 7 years ago
  51. cae1927 bpf: offload: allow netdev to disappear while verifier is running by Jakub Kicinski · 7 years ago
  52. fcffe2e Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 7 years ago
  53. 70a87ff bpf: fix maximum stack depth tracking logic by Alexei Starovoitov · 7 years ago
  54. fba961a Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 7 years ago
  55. bb7f0f9 bpf: fix integer overflows by Alexei Starovoitov · 7 years ago
  56. 1c2a088 bpf: x64: add JIT support for multi-function programs by Alexei Starovoitov · 7 years ago
  57. cc2b14d bpf: teach verifier to recognize zero initialized stack by Alexei Starovoitov · 7 years ago
  58. f4d7e40 bpf: introduce function calls (verification) by Alexei Starovoitov · 7 years ago
  59. cc8b0b9 bpf: introduce function calls (function boundaries) by Alexei Starovoitov · 7 years ago
  60. c131187 bpf: fix branch pruning logic by Alexei Starovoitov · 7 years ago
  61. 14380194 bpf: make bpf_prog_offload_verifier_prep() static inline by Jakub Kicinski · 7 years ago
  62. b37a530 bpf: remove old offload/analyzer by Jakub Kicinski · 7 years ago
  63. ab3f006 bpf: offload: add infrastructure for loading programs for a specific netdev by Jakub Kicinski · 7 years ago
  64. 638f5b9 bpf: reduce verifier memory consumption by Alexei Starovoitov · 7 years ago
  65. 00176a3 bpf: remove the verifier ops from program structure by Jakub Kicinski · 7 years ago
  66. a2a7d57 bpf: write back the verifier log buffer as it gets filled by Jakub Kicinski · 7 years ago
  67. 61bd521 bpf: move global verifier log into verifier environment by Jakub Kicinski · 7 years ago
  68. e7bf824 bpf: encapsulate verifier log state into a structure by Jakub Kicinski · 7 years ago
  69. 8e9cd9c bpf/verifier: document liveness analysis by Edward Cree · 7 years ago
  70. 1b688a1 bpf/verifier: remove varlen_map_value_access flag by Edward Cree · 7 years ago
  71. dc503a8 bpf/verifier: track liveness for pruning by Edward Cree · 7 years ago
  72. b03c9f9 bpf/verifier: track signed and unsigned min/max values by Edward Cree · 7 years ago
  73. f1174f7 bpf/verifier: rework value tracking by Edward Cree · 7 years ago
  74. 4cabc5b bpf: fix mixed signed/unsigned derived min/max value bounds by Daniel Borkmann · 8 years ago
  75. 2399463 bpf: possibly avoid extra masking for narrower load in verifier by Yonghong Song · 8 years ago
  76. 31fd858 bpf: permits narrower load from bpf program context fields by Yonghong Song · 8 years ago
  77. e07b98d bpf: Add strict alignment flag for BPF_PROG_LOAD. by David S. Miller · 8 years ago
  78. d117441 bpf: Track alignment of register values in the verifier. by David S. Miller · 8 years ago
  79. 81ed18a bpf: add helper inlining infra and optimize map_array lookup by Alexei Starovoitov · 8 years ago
  80. d2a4dd3 bpf: fix state equivalence by Alexei Starovoitov · 8 years ago
  81. f9aa9dc Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 8 years ago
  82. f23cc64 bpf: fix range arithmetic for bpf map access by Josef Bacik · 8 years ago
  83. 57a09bf bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers by Thomas Graf · 8 years ago
  84. 4846113 bpf: allow access into map value arrays by Josef Bacik · 8 years ago
  85. 13a27df bpf: enable non-core use of the verfier by Jakub Kicinski · 8 years ago
  86. 58e2af8b bpf: expose internal verfier structures by Jakub Kicinski · 8 years ago