summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2018-05-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-05-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds
2018-05-24bpf: properly enforce index mask to prevent out-of-bounds speculationDaniel Borkmann
2018-05-19bpf: Prevent memory disambiguation attackAlexei Starovoitov
2018-05-17bpf: add __printf verification to bpf_verifier_vlogMathieu Malaterre
2018-05-04bpf: centre subprog information fieldsJiong Wang
2018-05-04bpf: unify main prog and subprogJiong Wang
2018-03-26bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau
2018-03-26bpf: Rename bpf_verifer_logMartin KaFai Lau
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2017-12-27bpf: fix maximum stack depth tracking logicAlexei Starovoitov
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-12-21bpf: fix integer overflowsAlexei Starovoitov
2017-12-17bpf: x64: add JIT support for multi-function programsAlexei Starovoitov
2017-12-17bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov
2017-12-17bpf: introduce function calls (verification)Alexei Starovoitov
2017-12-17bpf: introduce function calls (function boundaries)Alexei Starovoitov
2017-11-23bpf: fix branch pruning logicAlexei Starovoitov
2017-11-21bpf: make bpf_prog_offload_verifier_prep() static inlineJakub Kicinski
2017-11-05bpf: remove old offload/analyzerJakub Kicinski
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski
2017-11-01bpf: reduce verifier memory consumptionAlexei Starovoitov
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski
2017-10-10bpf: move global verifier log into verifier environmentJakub Kicinski
2017-10-10bpf: encapsulate verifier log state into a structureJakub Kicinski
2017-08-23bpf/verifier: document liveness analysisEdward Cree
2017-08-23bpf/verifier: remove varlen_map_value_access flagEdward Cree
2017-08-15bpf/verifier: track liveness for pruningEdward Cree
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree
2017-08-08bpf/verifier: rework value trackingEdward Cree
2017-07-20bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierYonghong Song
2017-06-14bpf: permits narrower load from bpf program context fieldsYonghong Song
2017-05-11bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller
2017-05-11bpf: Track alignment of register values in the verifier.David S. Miller
2017-03-16bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov
2016-12-08bpf: fix state equivalenceAlexei Starovoitov
2016-11-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-11-16bpf: fix range arithmetic for bpf map accessJosef Bacik
2016-10-19bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf
2016-09-29bpf: allow access into map value arraysJosef Bacik
2016-09-21bpf: enable non-core use of the verfierJakub Kicinski
2016-09-21bpf: expose internal verfier structuresJakub Kicinski