Gitiles
Code Review
Sign In
review.shift-gmbh.com
/
SHIFTPHONES
/
android_kernel_shift_sdm845
/
dbc3a0b917c4f75292b1c0819c188e40fd3c8924
/
kernel
/
bpf
/
verifier.c
b984811
bpf: Fix buggy rsh min/max bounds tracking
by Daniel Borkmann
· 4 years ago
ae30c98
bpf: check pending signals while verifying programs
by Alexei Starovoitov
· 6 years ago
def8c1d
bpf: Prevent memory disambiguation attack
by Alexei Starovoitov
· 7 years ago
62e0865
bpf/verifier: Pass instruction index to check_mem_access() and check_xadd()
by Ben Hutchings
· 6 years ago
9c33b84
bpf/verifier: Add spi variable to check_stack_write()
by Ben Hutchings
· 6 years ago
e31a06e
bpf: fix references to free_bpf_prog_info() in comments
by Jakub Kicinski
· 7 years ago
f531fbb
bpf: reject stores into ctx via st and xadd
by Daniel Borkmann
· 7 years ago
265d765
bpf: fix 32-bit divide by zero
by Alexei Starovoitov
· 7 years ago
fcabc6d
bpf: arsh is not supported in 32 bit alu thus reject it
by Daniel Borkmann
· 7 years ago
a9bfac14
bpf: prevent out-of-bounds speculation
by Alexei Starovoitov
· 7 years ago
f55093d
bpf: refactor fixup_bpf_calls()
by Alexei Starovoitov
· 8 years ago
2803536
bpf: move fixup_bpf_calls() function
by Alexei Starovoitov
· 8 years ago
37435f7
bpf/verifier: Fix states_equal() comparison of pointer and UNKNOWN
by Ben Hutchings
· 7 years ago
3695b3b
bpf: fix incorrect sign extension in check_alu_op()
by Daniel Borkmann
· 7 years ago
d75d3ee
bpf: reject out-of-bounds stack pointer calculation
by Daniel Borkmann
· 7 years ago
7b5b73e
bpf: fix branch pruning logic
by Daniel Borkmann
· 7 years ago
565f012
bpf: adjust insn_aux_data when patching insns
by Daniel Borkmann
· 7 years ago
e159492
bpf/verifier: reject BPF_ALU64|BPF_END
by Edward Cree
· 7 years ago
655da3d
bpf/verifier: fix min/max handling in BPF_SUB
by Edward Cree
· 7 years ago
bf5b91b
bpf: fix mixed signed/unsigned derived min/max value bounds
by Daniel Borkmann
· 7 years ago
8d674be
bpf, verifier: fix alu ops against map_value{, _adj} register types
by Daniel Borkmann
· 8 years ago
577aa83
bpf: adjust verifier heuristics
by Daniel Borkmann
· 8 years ago
e37bdee
bpf, verifier: add additional patterns to evaluate_reg_imm_alu
by John Fastabend
· 8 years ago
cd5de9c
bpf: prevent leaking pointer via xadd on unpriviledged
by Daniel Borkmann
· 8 years ago
ced0a31
bpf: don't let ldimm64 leak map addresses on unprivileged
by Daniel Borkmann
· 8 years ago
7bca0a9
bpf: enhance verifier to understand stack pointer arithmetic
by Yonghong Song
· 8 years ago
0ea3c23
bpf: improve verifier packet range checks
by Alexei Starovoitov
· 8 years ago
0e0f1d6
bpf: fix mark_reg_unknown_value for spilled regs on map value marking
by Daniel Borkmann
· 8 years ago
1889d6d
bpf: fix regression on verifier pruning wrt map lookups
by Daniel Borkmann
· 8 years ago
b7f5aa1
bpf: fix state equivalence
by Alexei Starovoitov
· 8 years ago
1411707
bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers
by Thomas Graf
· 8 years ago
e2d2afe
bpf: fix states equal logic for varlen access
by Josef Bacik
· 8 years ago
f23cc64
bpf: fix range arithmetic for bpf map access
by Josef Bacik
· 8 years ago
4846113
bpf: allow access into map value arrays
by Josef Bacik
· 8 years ago
1955351
bpf: Set register type according to is_valid_access()
by Mickaël Salaün
· 8 years ago
6b17387
bpf: recognize 64bit immediate loads as consts
by Jakub Kicinski
· 8 years ago
13a27df
bpf: enable non-core use of the verfier
by Jakub Kicinski
· 8 years ago
58e2af8
bpf: expose internal verfier structures
by Jakub Kicinski
· 8 years ago
3df126f
bpf: don't (ab)use instructions to store state
by Jakub Kicinski
· 8 years ago
36bbef5
bpf: direct packet write and access for helpers for clsact progs
by Daniel Borkmann
· 8 years ago
b399cf6
bpf, verifier: enforce larger zero range for pkt on overloading stack buffs
by Daniel Borkmann
· 8 years ago
2d2be8c
bpf: fix range propagation on direct packet access
by Daniel Borkmann
· 8 years ago
fdc15d3
bpf: perf_event progs should only use preallocated maps
by Alexei Starovoitov
· 8 years ago
ea2e7ce
bpf: support 8-byte metafield access
by Alexei Starovoitov
· 8 years ago
60747ef
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 8 years ago
6841de8
bpf: allow helpers access the packet directly
by Alexei Starovoitov
· 8 years ago
747ea55
bpf: fix bpf_skb_in_cgroup helper naming
by Daniel Borkmann
· 8 years ago
60d20f9
bpf: Add bpf_current_task_under_cgroup helper
by Sargun Dhillon
· 8 years ago
1f415a7
bpf: fix method of PTR_TO_PACKET reg id generation
by Jakub Kicinski
· 8 years ago
4acf6c0
bpf: enable direct packet data write for xdp progs
by Brenden Blanco
· 8 years ago
6a773a1
bpf: add XDP prog type for early driver filter
by Brenden Blanco
· 8 years ago
4a482f3
cgroup: bpf: Add bpf_skb_in_cgroup_proto
by Martin KaFai Lau
· 9 years ago
4ed8ec5
cgroup: bpf: Add BPF_MAP_TYPE_CGROUP_ARRAY
by Martin KaFai Lau
· 9 years ago
19de99f
bpf: fix matching of data/data_end in verifier
by Alexei Starovoitov
· 9 years ago
1b9b69e
bpf: teach verifier to recognize imm += ptr pattern
by Alexei Starovoitov
· 9 years ago
d91b28e
bpf: support decreasing order in direct packet access
by Alexei Starovoitov
· 9 years ago
c237ee5
bpf: add bpf_patch_insn_single helper
by Daniel Borkmann
· 9 years ago
735b433
bpf: improve verifier state equivalence
by Alexei Starovoitov
· 9 years ago
969bf05
bpf: direct packet access
by Alexei Starovoitov
· 9 years ago
1a0dc1a
bpf: cleanup verifier code
by Alexei Starovoitov
· 9 years ago
cba65321
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 9 years ago
6aff67c
bpf: fix check_map_func_compatibility logic
by Alexei Starovoitov
· 9 years ago
92117d8
bpf: fix refcnt overflow
by Alexei Starovoitov
· 9 years ago
c0cc531
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 9 years ago
8358b02
bpf: fix double-fdput in replace_map_fd_with_map_ptr()
by Jann Horn
· 9 years ago
1602f49
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 9 years ago
435faee1
bpf, verifier: add ARG_PTR_TO_RAW_STACK type
by Daniel Borkmann
· 9 years ago
33ff982
bpf, verifier: add bpf_call_arg_meta for passing meta data
by Daniel Borkmann
· 9 years ago
d82bccc
bpf/verifier: reject invalid LD_ABS | BPF_DW instruction
by Alexei Starovoitov
· 9 years ago
4923ec0
bpf: simplify verifier register state assignments
by Alexei Starovoitov
· 9 years ago
0701615
bpf, verifier: further improve search pruning
by Daniel Borkmann
· 9 years ago
32bbe00
bpf: sanitize bpf tracepoint access
by Alexei Starovoitov
· 9 years ago
b633353
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
by David S. Miller
· 9 years ago
8e2fe1d9
bpf: add new arg_type that allows for 0 sized stack buffer
by Daniel Borkmann
· 9 years ago
d5a3b1f
bpf: introduce BPF_MAP_TYPE_STACK_TRACE
by Alexei Starovoitov
· 9 years ago
a1b14d2
bpf: fix branch offset adjustment on backjumps after patching ctx expansion
by Daniel Borkmann
· 9 years ago
229394e
net: bpf: reject invalid shifts
by Rabin Vincent
· 9 years ago
c9da161
bpf: fix clearing on persistent program array maps
by Daniel Borkmann
· 9 years ago
1d056d9
bpf, verifier: annotate verbose printer with __printf
by Daniel Borkmann
· 9 years ago
c210129
bpf: align and clean bpf_{map,prog}_get helpers
by Daniel Borkmann
· 9 years ago
a43eec3
bpf: introduce bpf_perf_event_output() helper
by Alexei Starovoitov
· 9 years ago
1be7f75
bpf: enable non-root eBPF programs
by Alexei Starovoitov
· 9 years ago
ff936a0
bpf: fix cb access in socket filter programs
by Alexei Starovoitov
· 9 years ago
687f071
bpf: fix out of bounds access in verifier log
by Alexei Starovoitov
· 9 years ago
140d8b3
bpf: fix bpf_perf_event_read() loop upper bound
by Wei-Chun Chao
· 9 years ago
35578d7
bpf: Implement function bpf_perf_event_read() that get the selected hardware PMU conuter
by Kaixu Xia
· 9 years ago
24b4d2a
ebpf: Allow dereferences of PTR_TO_STACK registers
by Alex Gartrell
· 9 years ago
d691f9e
bpf: allow programs to write to certain skb fields
by Alexei Starovoitov
· 10 years ago
04fd61a
bpf: allow bpf programs to tail-call other bpf programs
by Alexei Starovoitov
· 10 years ago
725f9dc
bpf: fix two bugs in verification logic when accessing 'ctx' pointer
by Alexei Starovoitov
· 10 years ago
c3de631
bpf: fix verifier memory corruption
by Alexei Starovoitov
· 10 years ago
608cd71
tc: bpf: generalize pedit action
by Alexei Starovoitov
· 10 years ago
94caee8
ebpf: add sched_act_type and map it to sk_filter's verifier ops
by Daniel Borkmann
· 10 years ago
9bac3d6
bpf: allow extended BPF programs access skb fields
by Alexei Starovoitov
· 10 years ago
80f1d68
ebpf: verifier: check that call reg with ARG_ANYTHING is initialized
by Daniel Borkmann
· 10 years ago
24701ec
ebpf: move read-only fields to bpf_prog and shrink bpf_prog_aux
by Daniel Borkmann
· 10 years ago
96be432
ebpf: add sched_cls_type and map it to sk_filter's verifier ops
by Daniel Borkmann
· 10 years ago
ddd872b
bpf: verifier: add checks for BPF_ABS | BPF_IND instructions
by Alexei Starovoitov
· 10 years ago
9c399760
bpf: reduce verifier memory consumption
by Alexei Starovoitov
· 10 years ago
32bf08a
bpf: fix bug in eBPF verifier
by Alexei Starovoitov
· 10 years ago
Next »