summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2017-08-24bpf/verifier: document liveness analysisEdward Cree1-0/+13
2017-08-24bpf/verifier: remove varlen_map_value_access flagEdward Cree1-1/+0
2017-08-16bpf/verifier: track liveness for pruningEdward Cree1-1/+10
2017-08-09bpf/verifier: track signed and unsigned min/max valuesEdward Cree1-9/+14
2017-08-09bpf/verifier: rework value trackingEdward Cree1-13/+21
2017-07-21bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann1-0/+1
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierYonghong Song1-1/+2
2017-06-14bpf: permits narrower load from bpf program context fieldsYonghong Song1-0/+1
2017-05-11bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller1-0/+1
2017-05-11bpf: Track alignment of register values in the verifier.David S. Miller1-0/+3
2017-03-17bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov1-1/+4
2016-12-08bpf: fix state equivalenceAlexei Starovoitov1-7/+7
2016-11-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-2/+3
2016-11-16bpf: fix range arithmetic for bpf map accessJosef Bacik1-2/+3
2016-10-19bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf1-1/+1
2016-09-29bpf: allow access into map value arraysJosef Bacik1-0/+12
2016-09-22bpf: enable non-core use of the verfierJakub Kicinski1-0/+11
2016-09-22bpf: expose internal verfier structuresJakub Kicinski1-0/+79