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-03-21
bpf: verifier: propagate liveness on all frames
Jakub Kicinski
1
-9
/
+11
2019-03-21
bpf: do not restore dst_reg when cur_state is freed
Xu Yu
1
-1
/
+1
2019-03-20
bpf: Only print ref_obj_id for refcounted reg
Martin KaFai Lau
1
-2
/
+11
2019-03-13
bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_release
Martin KaFai Lau
1
-57
/
+74
2019-03-07
bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm field
Daniel Borkmann
1
-5
/
+5
2019-03-04
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next
David S. Miller
1
-1
/
+6
2019-03-02
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net
David S. Miller
1
-1
/
+2
2019-03-01
bpf: fix sanitation rewrite in case of non-pointers
Daniel Borkmann
1
-1
/
+2
2019-02-27
bpf: enable program stats
Alexei Starovoitov
1
-1
/
+6
2019-02-10
bpf: Add struct bpf_tcp_sock and BPF_FUNC_tcp_sock
Martin KaFai Lau
1
-2
/
+29
2019-02-10
bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helper
Martin KaFai Lau
1
-40
/
+92
2019-02-10
bpf: Fix narrow load on a bpf_sock returned from sk_lookup()
Martin KaFai Lau
1
-4
/
+7
2019-02-09
bpf: Fix narrow load on a bpf_sock returned from sk_lookup()
Martin KaFai Lau
1
-4
/
+7
2019-02-01
bpf: add support for bpf_spin_lock to cgroup local storage
Alexei Starovoitov
1
-0
/
+2
2019-02-01
bpf: introduce bpf_spin_lock
Alexei Starovoitov
1
-3
/
+166
2019-01-26
bpf: verifier support JMP32
Jiong Wang
1
-32
/
+171
2019-01-26
bpf: refactor verifier min/max code for condition jump
Jiong Wang
1
-73
/
+99
2019-01-23
bpf: notify offload JITs about optimizations
Jakub Kicinski
1
-0
/
+6
2019-01-23
bpf: verifier: record original instruction index
Jakub Kicinski
1
-3
/
+5
2019-01-23
bpf: verifier: remove unconditional branches by 0
Jakub Kicinski
1
-0
/
+23
2019-01-23
bpf: verifier: remove dead code
Jakub Kicinski
1
-3
/
+173
2019-01-23
bpf: verifier: hard wire branches to dead code
Jakub Kicinski
1
-2
/
+43
2019-01-17
bpf: fix a (false) compiler warning
Peter Oskolkov
1
-1
/
+2
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
[next]