summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAge
* bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau2018-03-26
* bpf: Rename bpf_verifer_logMartin KaFai Lau2018-03-26
* bpf: export function to write into verifier log bufferQuentin Monnet2018-01-10
* bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski2017-12-31
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2017-12-27
|\
| * bpf: fix maximum stack depth tracking logicAlexei Starovoitov2017-12-27
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-12-22
|\ \ | |/ |/|
| * bpf: fix integer overflowsAlexei Starovoitov2017-12-21
* | bpf: x64: add JIT support for multi-function programsAlexei Starovoitov2017-12-17
* | bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov2017-12-17
* | bpf: introduce function calls (verification)Alexei Starovoitov2017-12-17
* | bpf: introduce function calls (function boundaries)Alexei Starovoitov2017-12-17
|/
* bpf: fix branch pruning logicAlexei Starovoitov2017-11-23
* bpf: make bpf_prog_offload_verifier_prep() static inlineJakub Kicinski2017-11-21
* bpf: remove old offload/analyzerJakub Kicinski2017-11-05
* bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski2017-11-05
* bpf: reduce verifier memory consumptionAlexei Starovoitov2017-11-01
* bpf: remove the verifier ops from program structureJakub Kicinski2017-10-18
* bpf: write back the verifier log buffer as it gets filledJakub Kicinski2017-10-10
* bpf: move global verifier log into verifier environmentJakub Kicinski2017-10-10
* bpf: encapsulate verifier log state into a structureJakub Kicinski2017-10-10
* bpf/verifier: document liveness analysisEdward Cree2017-08-23
* bpf/verifier: remove varlen_map_value_access flagEdward Cree2017-08-23
* bpf/verifier: track liveness for pruningEdward Cree2017-08-15
* bpf/verifier: track signed and unsigned min/max valuesEdward Cree2017-08-08
* bpf/verifier: rework value trackingEdward Cree2017-08-08
* bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann2017-07-20
* bpf: possibly avoid extra masking for narrower load in verifierYonghong Song2017-06-23
* bpf: permits narrower load from bpf program context fieldsYonghong Song2017-06-14
* bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller2017-05-11
* bpf: Track alignment of register values in the verifier.David S. Miller2017-05-11
* bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov2017-03-16
* bpf: fix state equivalenceAlexei Starovoitov2016-12-08
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-11-22
|\
| * bpf: fix range arithmetic for bpf map accessJosef Bacik2016-11-16
* | bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf2016-10-19
|/
* bpf: allow access into map value arraysJosef Bacik2016-09-29
* bpf: enable non-core use of the verfierJakub Kicinski2016-09-21
* bpf: expose internal verfier structuresJakub Kicinski2016-09-21