index
:
linux.git
dev
master
v4.9.13
Unnamed repository; edit this file 'description' to name the repository.
Lucas Castro
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
2021-08-04
bpf: Fix pointer arithmetic mask tightening under state pruning
Daniel Borkmann
2021-08-04
bpf: verifier: Allocate idmap scratch in verifier env
Lorenz Bauer
2021-08-04
bpf: Remove superfluous aux sanitation on subprog rejection
Daniel Borkmann
2021-08-04
bpf: Fix leakage due to insufficient speculative store bypass mitigation
Daniel Borkmann
2021-07-28
bpf: Fix tail_call_reachable rejection for interpreter when jit failed
Daniel Borkmann
2021-07-25
bpf: Track subprog poke descriptors correctly and fix use-after-free
John Fastabend
2021-07-14
bpf: Fix null ptr deref with mixed tail calls and subprogs
John Fastabend
2021-06-23
bpf: Do not mark insn as seen under speculative path verification
Daniel Borkmann
2021-06-23
bpf: Inherit expanded/patched seen count from old aux data
Daniel Borkmann
2021-06-23
bpf: Fix leakage under speculation on mispredicted branches
Daniel Borkmann
2021-06-03
bpf, offload: Reorder offload callback 'prepare' in verifier
Yinjun Zhang
2021-05-28
bpf: No need to simulate speculative domain for immediates
Daniel Borkmann
2021-05-28
bpf: Fix mask direction swap upon off reg sign change
Daniel Borkmann
2021-05-28
bpf: Wrap aux data inside bpf_sanitize_info container
Daniel Borkmann
2021-05-14
bpf: Fix alu32 const subreg bound tracking on bitwise operations
Daniel Borkmann
2021-05-14
bpf: Fix propagation of 32 bit unsigned bounds from 64 bit bounds
Daniel Borkmann
2021-05-07
bpf: Fix leakage of uninitialized bpf stack under speculation
Daniel Borkmann
2021-05-07
bpf: Fix masking negation logic upon negative dst register
Daniel Borkmann
2021-04-28
bpf: Tighten speculative pointer arithmetic mask
Daniel Borkmann
2021-04-28
bpf: Refactor and streamline bounds check into helper
Daniel Borkmann
2021-04-28
bpf: Allow variable-offset stack access
Andrei Matei
2021-04-28
bpf: Permits pointers on stack for helper calls
Yonghong Song
2021-04-21
bpf: Move sanitize_val_alu out of op switch
Daniel Borkmann
2021-04-21
bpf: Improve verifier error messages for users
Daniel Borkmann
2021-04-21
bpf: Rework ptr_limit into alu_limit and add common error path
Daniel Borkmann
2021-04-21
bpf: Move off_reg into sanitize_ptr_alu
Daniel Borkmann
2021-04-21
bpf: Ensure off_reg has no mixed signed bounds for all types
Daniel Borkmann
2021-04-21
bpf: Use correct permission flag for mixed signed bounds arithmetic
Daniel Borkmann
2021-04-14
bpf: Enforce that struct_ops programs be GPL-only
Toke Høiland-Jørgensen
2021-03-20
bpf: Add sanity check for upper ptr_limit
Piotr Krysiuk
2021-03-20
bpf: Simplify alu_limit masking for pointer arithmetic
Piotr Krysiuk
2021-03-20
bpf: Fix off-by-one for area size in creating mask to left
Piotr Krysiuk
2021-03-20
bpf: Prohibit alu ops for pointer types not defining ptr_limit
Piotr Krysiuk
2021-03-04
bpf: Clear subreg_def for global function return values
Ilya Leoshkevich
2021-02-26
bpf: Fix truncation handling for mod32 dst reg wrt zero
Daniel Borkmann
2021-02-13
bpf: Fix verifier jsgt branch analysis on max bound
Daniel Borkmann
2021-02-13
bpf: Fix 32 bit src register truncation on div/mod
Daniel Borkmann
2021-02-13
bpf: Fix verifier jmp32 pruning decision logic
Daniel Borkmann
2021-01-23
bpf: Support PTR_TO_MEM{,_OR_NULL} register spilling
Gilad Reti
2021-01-23
bpf: Fix signed_{sub,add32}_overflows type handling
Daniel Borkmann
2020-12-10
bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.
Alexei Starovoitov
2020-11-14
bpf: Relax return code check for subprograms
Dmitrii Banshchikov
2020-11-11
bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_id
Kaixu Xia
2020-10-19
bpf: Enforce id generation for all may-be-null register type
Martin KaFai Lau
2020-10-15
bpf: Fix register equivalence tracking.
Alexei Starovoitov
2020-10-12
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
Jakub Kicinski
2020-10-11
bpf: Allow for map-in-map with dynamic inner array map entries
Daniel Borkmann
2020-10-09
bpf: Track spill/fill of bounded scalars.
Yonghong Song
2020-10-09
bpf: Propagate scalar ranges through register assignments.
Alexei Starovoitov
2020-10-08
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
[next]