summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf/verifier: document liveness analysisEdward Cree2017-08-231-0/+13
* bpf/verifier: remove varlen_map_value_access flagEdward Cree2017-08-231-1/+0
* bpf/verifier: track liveness for pruningEdward Cree2017-08-151-1/+10
* bpf/verifier: track signed and unsigned min/max valuesEdward Cree2017-08-081-9/+14
* bpf/verifier: rework value trackingEdward Cree2017-08-081-13/+21
* bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann2017-07-201-0/+1
* bpf: possibly avoid extra masking for narrower load in verifierYonghong Song2017-06-231-1/+2
* bpf: permits narrower load from bpf program context fieldsYonghong Song2017-06-141-0/+1
* bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller2017-05-111-0/+1
* bpf: Track alignment of register values in the verifier.David S. Miller2017-05-111-0/+3
* bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov2017-03-161-1/+4
* bpf: fix state equivalenceAlexei Starovoitov2016-12-081-7/+7
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-11-221-2/+3
|\
| * bpf: fix range arithmetic for bpf map accessJosef Bacik2016-11-161-2/+3
* | bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf2016-10-191-1/+1
|/
* bpf: allow access into map value arraysJosef Bacik2016-09-291-0/+12
* bpf: enable non-core use of the verfierJakub Kicinski2016-09-211-0/+11
* bpf: expose internal verfier structuresJakub Kicinski2016-09-211-0/+79