Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / f59bbfc2f6099e8655f9e8f585e10ffde17176d0 / kernel / bpf / verifier.c
  1. f59bbfc bpf: Fix error path under memory pressure by Alexei Starovoitov · 5 years ago
  2. 51c39bb bpf: Introduce function-by-function verification by Alexei Starovoitov · 5 years ago
  3. 85d33df bpf: Introduce BPF_MAP_TYPE_STRUCT_OPS by Martin KaFai Lau · 5 years ago
  4. 27ae7997 bpf: Introduce BPF_PROG_TYPE_STRUCT_OPS by Martin KaFai Lau · 5 years ago
  5. 65726b5 bpf: Save PTR_TO_BTF_ID register state when spilling to stack by Martin KaFai Lau · 5 years ago
  6. f54c789 bpf: Fix precision tracking for unbounded scalars by Daniel Borkmann · 5 years ago
  7. cc52d91 bpf: Fix record_func_key to perform backtracking on r3 by Daniel Borkmann · 5 years ago
  8. e473042 bpf: Fix cgroup local storage prog tracking by Daniel Borkmann · 5 years ago
  9. a2ea074 bpf: Fix missing prog untrack in release_maps by Daniel Borkmann · 5 years ago
  10. e9eeec5 bpf: Fix a bug when getting subprog 0 jited image in check_attach_btf_id by Yonghong Song · 5 years ago
  11. d2e4c1e bpf: Constant map key tracking for prog array pokes by Daniel Borkmann · 5 years ago
  12. 581738a bpf: Provide better register bounds after jmp32 instructions by Yonghong Song · 5 years ago
  13. 1e0bd5a bpf: Switch bpf_map ref counter to atomic64_t so bpf_map_inc() never fails by Andrii Nakryiko · 5 years ago
  14. 5b92a28 bpf: Support attaching tracing BPF program to other BPF programs by Alexei Starovoitov · 5 years ago
  15. 8c1b6e6 bpf: Compare BTF types of functions arguments with actual types by Alexei Starovoitov · 5 years ago
  16. 91cc1a9 bpf: Annotate context types by Alexei Starovoitov · 5 years ago
  17. 9cc31b3 bpf: Fix race in btf_resolve_helper_id() by Alexei Starovoitov · 5 years ago
  18. fec56f5 bpf: Introduce BPF trampoline by Alexei Starovoitov · 5 years ago
  19. f1b9509 bpf: Replace prog_raw_tp+btf_id with prog_tracing by Alexei Starovoitov · 5 years ago
  20. 15ab09b bpf: Enforce 'return 0' in BTF-enabled raw_tp programs by Alexei Starovoitov · 5 years ago
  21. 3820729 bpf: Prepare btf_ctx_access for non raw_tp use case by Martin KaFai Lau · 5 years ago
  22. a7658e1 bpf: Check types of arguments passed into helpers by Alexei Starovoitov · 5 years ago
  23. 3dec541 bpf: Add support for BTF pointers to x86 JIT by Alexei Starovoitov · 5 years ago
  24. 2a02759 bpf: Add support for BTF pointers to interpreter by Alexei Starovoitov · 5 years ago
  25. 9e15db6 bpf: Implement accurate raw_tp context access via BTF by Alexei Starovoitov · 5 years ago
  26. 8580ac9 bpf: Process in-kernel BTF by Alexei Starovoitov · 5 years ago
  27. 2dedd7d bpf: Fix cast to pointer from integer of different size warning by Andrii Nakryiko · 5 years ago
  28. a23740e bpf: Track contents of read-only maps as scalars by Andrii Nakryiko · 5 years ago
  29. 28f2c36 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 5 years ago
  30. d895a0f bpf: fix accessing bpf_sysctl.file_pos on s390 by Ilya Leoshkevich · 5 years ago
  31. aa2eaa8 Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by David S. Miller · 5 years ago
  32. 1e46c09 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 5 years ago
  33. 2339cd6 bpf: fix precision tracking of stack slots by Alexei Starovoitov · 5 years ago
  34. 10d274e bpf: introduce verifier internal test flag by Alexei Starovoitov · 5 years ago
  35. 68aaf44 Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net by David S. Miller · 5 years ago
  36. 6754172 bpf: fix precision tracking in presence of bpf2bpf calls by Alexei Starovoitov · 5 years ago
  37. 708852d Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by Jakub Kicinski · 5 years ago
  38. 6f9d451 xdp: Add devmap_hash map type for looking up devices by hashed index by Toke Høiland-Jørgensen · 5 years ago
  39. d9b8aad bpf: fix narrower loads on s390 by Ilya Leoshkevich · 6 years ago
  40. ed4ed40 bpf: verifier: avoid fall-through warnings by Gustavo A. R. Silva · 6 years ago
  41. b3b50f0 bpf: fix precision bit propagation for BPF_ST instructions by Andrii Nakryiko · 6 years ago
  42. a3ce685 bpf: fix precision tracking by Alexei Starovoitov · 6 years ago
  43. 0cdbb4b devmap: Allow map lookups from eBPF by Toke Høiland-Jørgensen · 6 years ago
  44. 0d01da6 bpf: implement getsockopt and setsockopt hooks by Stanislav Fomichev · 6 years ago
  45. dca73a6 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  46. b5dc016 bpf: precise scalar_value tracking by Alexei Starovoitov · 6 years ago
  47. eea1c22 bpf: fix callees pruning callers by Alexei Starovoitov · 6 years ago
  48. 2589726 bpf: introduce bounded loops by Alexei Starovoitov · 6 years ago
  49. fb8d251 bpf: extend is_branch_taken to registers by Alexei Starovoitov · 6 years ago
  50. f7cf25b bpf: track spill/fill of constants by Alexei Starovoitov · 6 years ago
  51. 13091aa Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  52. da0f382 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by Linus Torvalds · 6 years ago
  53. fada7fd bpf: Allow bpf_map_lookup_elem() on an xskmap by Jonathan Lemon · 6 years ago
  54. 983695f bpf: fix unconnected udp hooks by Daniel Borkmann · 6 years ago
  55. 5b497af treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295 by Thomas Gleixner · 6 years ago
  56. 5cf1e91 bpf: cgroup inet skb programs can return 0 to 3 by brakmo · 6 years ago
  57. d6c2308 bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is set by Jiong Wang · 6 years ago
  58. a4b1d3c bpf: verifier: insert zero extension according to analysis result by Jiong Wang · 6 years ago
  59. b325fbc bpf: verifier: mark patched-insn with sub-register zext flag by Jiong Wang · 6 years ago
  60. 5327ed3 bpf: verifier: mark verified-insn with sub-register zext flag by Jiong Wang · 6 years ago
  61. dc2a4eb bpf: convert explored_states to hash table by Alexei Starovoitov · 6 years ago
  62. a8f500a bpf: split explored_states by Alexei Starovoitov · 6 years ago
  63. 5d83902 bpf: cleanup explored_states by Alexei Starovoitov · 6 years ago
  64. b285fcb bpf: bump jmp sequence limit by Alexei Starovoitov · 6 years ago
  65. e2f7fc0 bpf: fix undefined behavior in narrow load handling by Krzesimir Nowak · 6 years ago
  66. ff24e49 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  67. 6ac99e8 bpf: Introduce bpf sk local storage by Martin KaFai Lau · 6 years ago
  68. 9df1c28 bpf: add writable context for raw tracepoints by Matt Mullins · 6 years ago
  69. c6a9efa bpf: mark registers in all frames after pkt/null checks by Paul Chaignon · 6 years ago
  70. 45a73c1 bpf: drop bpf_verifier_lock by Alexei Starovoitov · 6 years ago
  71. 7df737e bpf: remove global variables by Alexei Starovoitov · 6 years ago
  72. 0d306c3 bpf: use BPF_CAST_CALL for casting bpf call by Prashant Bhole · 6 years ago
  73. c342dc1 bpf: refactor "check_reg_arg" to eliminate code redundancy by Jiong Wang · 6 years ago
  74. 55e7f3b bpf: factor out reg and stack slot propagation into "propagate_liveness_reg" by Jiong Wang · 6 years ago
  75. 3f8cafa bpf: refactor propagate_liveness to eliminate code redundance by Jiong Wang · 6 years ago
  76. 1b04aee bpf: refactor propagate_liveness to eliminate duplicated for loop by Jiong Wang · 6 years ago
  77. 57c3bb7 bpf: Introduce ARG_PTR_TO_{INT,LONG} arg types by Andrey Ignatov · 6 years ago
  78. 7b146ce bpf: Sysctl hook by Andrey Ignatov · 6 years ago
  79. bb23581 Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next by David S. Miller · 6 years ago
  80. 591fe98 bpf: add program side {rd, wr}only support for maps by Daniel Borkmann · 6 years ago
  81. d8eca5b bpf: implement lookup-free direct value access for maps by Daniel Borkmann · 6 years ago
  82. f83f715 Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  83. 1fbd20f bpf: Add missed newline in verifier verbose log by Andrey Ignatov · 6 years ago
  84. 107c26a7 bpf: Sanity check max value for var_off stack access by Andrey Ignatov · 6 years ago
  85. 088ec26 bpf: Reject indirect var_off stack access in unpriv mode by Andrey Ignatov · 6 years ago
  86. f2bcd05 bpf: Reject indirect var_off stack access in raw mode by Andrey Ignatov · 6 years ago
  87. 7a9f5c6 bpf: increase verifier log limit by Alexei Starovoitov · 6 years ago
  88. c04c0d2 bpf: increase complexity limit and maximum program size by Alexei Starovoitov · 6 years ago
  89. 4f73379 bpf: verbose jump offset overflow check by Alexei Starovoitov · 6 years ago
  90. 71dde68 bpf: convert temp arrays to kvcalloc by Alexei Starovoitov · 6 years ago
  91. 25af32d bpf: improve verification speed by not remarking live_read by Alexei Starovoitov · 6 years ago
  92. 9f4686c bpf: improve verification speed by droping states by Alexei Starovoitov · 6 years ago
  93. 06ee711 bpf: add verifier stats and log_level bit 2 by Alexei Starovoitov · 6 years ago
  94. 2011fcc bpf: Support variable offset stack access from helpers by Andrey Ignatov · 6 years ago
  95. 356d71e Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net by David S. Miller · 6 years ago
  96. 927cb78 bpf: remove incorrect 'verifier bug' warning by Paul Chaignon · 6 years ago
  97. 83d1631 bpf: verifier: propagate liveness on all frames by Jakub Kicinski · 6 years ago
  98. edbf8c0 bpf: add skc_lookup_tcp helper by Lorenz Bauer · 6 years ago
  99. 85a51f8 bpf: allow helpers to return PTR_TO_SOCK_COMMON by Lorenz Bauer · 6 years ago
  100. 0f3adc2 bpf: track references based on is_acquire_func by Lorenz Bauer · 6 years ago