index
:
linux
WIP-syscall
master
mmu_gather-race-fix
n900-dt
n900-dt-with-ssi
n900-dts-twl5030
n900-modem-rework
n900-omapdrm
next
proc-cmdline
sc18is600
ssi
ssi-cleaned
ssi-cleaned-dt
ssi-cleaned-dt2
ssi-cleaned-dt3
tty-splice
twl4030-madc-cleanup
Linux Kernel (branches are rebased on master from time to time)
Linus Torvalds
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
Files
Lines
2019-01-05
bpf: fix sanitation of alu op with pointer / scalar type from different paths
Daniel Borkmann
1
-13
/
+48
2019-01-02
bpf: prevent out of bounds speculation on pointer arithmetic
Daniel Borkmann
1
-6
/
+179
2019-01-02
bpf: fix check_map_access smin_value test when pointer contains offset
Daniel Borkmann
1
-1
/
+5
2019-01-02
bpf: restrict unknown scalars of mixed signed bounds for unprivileged
Daniel Borkmann
1
-1
/
+8
2019-01-02
bpf: restrict stack pointer arithmetic for unprivileged
Daniel Borkmann
1
-22
/
+41
2019-01-02
bpf: restrict map value pointer arithmetic for unprivileged
Daniel Borkmann
1
-0
/
+11
2019-01-02
bpf: move {prev_,}insn_idx into verifier env
Daniel Borkmann
1
-38
/
+38
2018-12-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-17
/
+224
2018-12-20
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-3
/
+10
2018-12-20
bpf: verifier: reorder stack size check with dead code sanitization
Jakub Kicinski
1
-2
/
+3
2018-12-20
bpf: verifier: teach the verifier to reason about the BPF_JSET instruction
Jakub Kicinski
1
-0
/
+20
2018-12-19
bpf: Ensure line_info.insn_off cannot point to insn with zero code
Martin KaFai Lau
1
-0
/
+8
2018-12-18
bpf: correct slot_type marking logic to allow more stack slot sharing
Jiong Wang
1
-0
/
+5
2018-12-15
bpf: add self-check logic to liveness analysis
Alexei Starovoitov
1
-1
/
+107
2018-12-15
bpf: improve stacksafe state comparison
Alexei Starovoitov
1
-6
/
+7
2018-12-15
bpf: speed up stacksafe check
Alexei Starovoitov
1
-1
/
+3
2018-12-14
bpf: verbose log bpf_line_info in verifier
Martin KaFai Lau
1
-5
/
+69
2018-12-14
bpf: Create a new btf_name_by_offset() for non type name use case
Martin KaFai Lau
1
-2
/
+2
2018-12-13
bpf: verifier: make sure callees don't prune with caller differences
Jakub Kicinski
1
-3
/
+10
2018-12-10
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-42
/
+197
2018-12-10
bpf: relax verifier restriction on BPF_MOV | BPF_ALU
Jiong Wang
1
-4
/
+12
2018-12-09
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-14
/
+89
2018-12-09
bpf: Add bpf_line_info support
Martin KaFai Lau
1
-24
/
+174
2018-12-07
bpf: verifier remove the rejection on BPF_ALU | BPF_ARSH
Jiong Wang
1
-5
/
+0
2018-12-05
bpf: Change insn_offset to insn_off in bpf_func_info
Martin KaFai Lau
1
-9
/
+9
2018-12-04
bpf: add per-insn complexity limit
Alexei Starovoitov
1
-1
/
+6
2018-12-04
bpf: improve verifier branch analysis
Alexei Starovoitov
1
-13
/
+80
2018-12-04
bpf: check pending signals while verifying programs
Alexei Starovoitov
1
-0
/
+3
2018-11-30
bpf: Add BPF_F_ANY_ALIGNMENT.
David Miller
1
-0
/
+2
2018-11-29
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-17
/
+38
2018-11-28
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-1
/
+1
2018-11-26
bpf: btf: support proper non-jit func info
Yonghong Song
1
-17
/
+38
2018-11-20
bpf: Introduce bpf_func_info
Yonghong Song
1
-1
/
+119
2018-11-16
bpf: fix off-by-one error in adjust_subprog_starts
Edward Cree
1
-1
/
+1
2018-11-10
bpf: Allow narrow loads with offset > 0
Andrey Ignatov
1
-5
/
+16
2018-11-10
bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()
Quentin Monnet
1
-1
/
+1
2018-11-09
bpf: let verifier to calculate and record max_pkt_offset
Jiong Wang
1
-0
/
+12
2018-10-31
bpf: don't set id on after map lookup with ptr_to_map_val return
Daniel Borkmann
1
-5
/
+6
2018-10-31
bpf: fix partial copy of map_ptr when dst is scalar
Daniel Borkmann
1
-4
/
+6
2018-10-25
bpf: make direct packet write unclone more robust
Daniel Borkmann
1
-1
/
+5
2018-10-25
bpf: fix cg_skb types to hint access type in may_access_direct_pkt_data
Daniel Borkmann
1
-0
/
+1
2018-10-25
bpf: fix direct packet access for flow dissector progs
Daniel Borkmann
1
-2
/
+4
2018-10-20
bpf, verifier: avoid retpoline for map push/pop/peek operation
Daniel Borkmann
1
-1
/
+24
2018-10-20
bpf, verifier: remove unneeded flow key in check_helper_mem_access
Daniel Borkmann
1
-2
/
+0
2018-10-20
bpf, verifier: reject xadd on flow key memory
Daniel Borkmann
1
-1
/
+10
2018-10-20
bpf, verifier: fix register type dump in xadd and st
Daniel Borkmann
1
-6
/
+13
2018-10-19
bpf: add queue and stack maps
Mauricio Vasquez B
1
-1
/
+18
2018-10-19
bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUE
Mauricio Vasquez B
1
-3
/
+6
2018-10-08
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-124
/
+516
2018-10-08
bpf: allow offload of programs with BPF-to-BPF function calls
Quentin Monnet
1
-7
/
+3
[next]