vbpf/ebpf-verifier issues and pull requests

#836 - Raise minimum cmake version to 3.16 to support MSVC_RUNTIME_LIBRARY

Pull Request - State: closed - Opened by Alan-Jowett 9 days ago - 1 comment

#835 - Update CI workflow to ubuntu-latest

Pull Request - State: closed - Opened by dthaler 9 days ago - 1 comment

#834 - Bump external/bpf_conformance from `318cc3b` to `5c5c4a8`

Pull Request - State: closed - Opened by dependabot[bot] 12 days ago - 2 comments
Labels: dependencies, submodules

#833 - Bump external/libbtf from `3c2012b` to `6be26ec`

Pull Request - State: closed - Opened by dependabot[bot] 19 days ago - 2 comments
Labels: dependencies, submodules

#832 - Bump external/bpf_conformance from `ff36a50` to `318cc3b`

Pull Request - State: closed - Opened by dependabot[bot] 19 days ago - 2 comments
Labels: dependencies, submodules

#831 - Bump external/bpf_conformance from `90b453f` to `ff36a50`

Pull Request - State: closed - Opened by dependabot[bot] 26 days ago - 2 comments
Labels: dependencies, submodules

#830 - Bump external/libbtf from `0a4ef1f` to `3c2012b`

Pull Request - State: closed - Opened by dependabot[bot] 26 days ago - 2 comments
Labels: dependencies, submodules

#829 - Bump external/bpf_conformance from `4723912` to `90b453f`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 3 comments
Labels: dependencies, submodules

#828 - Bump external/libbtf from `760a804` to `0a4ef1f`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 3 comments
Labels: dependencies, submodules

#827 - CPP Code Coverage task is failing

Issue - State: closed - Opened by Alan-Jowett about 1 month ago - 3 comments

#826 - Handle upgrade from LCOV 1.15 to LCOV 2.0

Pull Request - State: closed - Opened by Alan-Jowett about 1 month ago - 5 comments

#825 - Add support for is_valid_before

Pull Request - State: open - Opened by Alan-Jowett about 1 month ago - 13 comments

#822 - Bump external/bpf_conformance from `9222222` to `4723912`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 2 comments
Labels: dependencies, submodules

#821 - Bump external/libbtf from `3c0cbd6` to `760a804`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 2 comments
Labels: dependencies, submodules

#820 - Add support for 64bit immediate with type 2

Pull Request - State: closed - Opened by Alan-Jowett about 1 month ago - 7 comments

#819 - Bump ebpf-samples from `b1ec1a2` to `f022799`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 2 comments
Labels: dependencies, submodules

#818 - Bump external/bpf_conformance from `28ddd7f` to `9222222`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 2 comments
Labels: dependencies, submodules

#817 - Does not build tests (VERIFIER_ENABLE_TESTS) when cloned as a Git submodule

Issue - State: closed - Opened by luisgerhorst 2 months ago - 1 comment

#816 - Add expect failed test for loading BPF program with global variables

Pull Request - State: closed - Opened by Alan-Jowett 2 months ago - 2 comments

#815 - Add Program class, containing a cfg_t class

Pull Request - State: closed - Opened by elazarg 2 months ago - 2 comments

#814 - Bump external/libbtf from `21f05ef` to `3c0cbd6`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 2 comments
Labels: dependencies, submodules

#813 - Bump external/bpf_conformance from `514fa97` to `28ddd7f`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 2 comments
Labels: dependencies, submodules

#812 - Bump external/bpf_conformance from `011874f` to `514fa97`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#811 - Bump external/libbtf from `81e0a6f` to `21f05ef`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#810 - Use explicit potential function

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#809 - Specialize GraphOps

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#808 - Reduce coupling between control flow graph and instructions

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#807 - Cleanup wto parts in fwd_analyzer

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#806 - Use T_UNINIT as lower bound for types

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#805 - Uniform printing of simplified vs non-simplified

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#804 - Bump ebpf-samples from `33f01fa` to `69a84e1`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 5 comments
Labels: dependencies, submodules

#803 - Bump external/bpf_conformance from `3357834` to `011874f`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#802 - Bump external/libbtf from `2f68368` to `81e0a6f`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#801 - Fixes for multiple bpf2bpf stack levels

Pull Request - State: closed - Opened by dthaler 3 months ago - 2 comments

#800 - Fix crash when relocation section is malformed

Pull Request - State: closed - Opened by dthaler 3 months ago - 2 comments

#799 - Print simplified cfg

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#798 - Simplify invariant output

Pull Request - State: closed - Opened by elazarg 3 months ago - 6 comments

#797 - Add support for static callback functions (used by bpf_for_each_map_elem, bpf_user_ringbuf_drain, bpf_timer_set_callback)

Issue - State: open - Opened by Alan-Jowett 3 months ago - 8 comments

#796 - No transform when checking + check code reorg (second attempt)

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#795 - Bump external/bpf_conformance from `b544539` to `3357834`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#794 - Bump external/libbtf from `2de28d7` to `2f68368`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#793 - Do not transform when checking + check code reorg

Pull Request - State: closed - Opened by elazarg 3 months ago - 7 comments

#792 - BTF loader code assumes 1 program per section

Issue - State: closed - Opened by dthaler 3 months ago

#791 - Fail hard when a non-Assume instruction turns an invariant into bottom

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#790 - Put stats collection under static variable

Pull Request - State: closed - Opened by Alan-Jowett 3 months ago - 2 comments

#789 - Use GuardedInstruction for cfg_t node, instead of basic_block

Pull Request - State: closed - Opened by elazarg 3 months ago - 3 comments

#788 - Move checker and transformer to different cpp files

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#787 - Split ebpf_domain_t into domain, transformer, checker

Pull Request - State: closed - Opened by elazarg 3 months ago - 2 comments

#786 - Add tests for issue 785

Pull Request - State: open - Opened by Alan-Jowett 3 months ago - 2 comments

#785 - Count down loop termination check is wrong

Issue - State: open - Opened by Alan-Jowett 3 months ago

#784 - Fix bpf2bpf local function calls with stack usage

Pull Request - State: closed - Opened by dthaler 3 months ago - 2 comments

#783 - Pathological BPF program can force long veriifcation times

Issue - State: open - Opened by Alan-Jowett 3 months ago - 4 comments

#782 - Update notest for Windows to install VS Clang

Pull Request - State: closed - Opened by Alan-Jowett 3 months ago - 2 comments

#781 - Bump external/libbtf from `69e0268` to `2de28d7`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#780 - Bump external/bpf_conformance from `1ce2861` to `b544539`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, submodules

#779 - Make the assertions part of a generalized instruction

Pull Request - State: closed - Opened by elazarg 3 months ago - 3 comments

#778 - Const all the things

Pull Request - State: closed - Opened by elazarg 4 months ago - 2 comments

#777 - Fix ebpf_base.h usability in C

Pull Request - State: closed - Opened by dthaler 4 months ago - 3 comments

#776 - Simplify/remove templates

Pull Request - State: closed - Opened by elazarg 4 months ago - 2 comments

#775 - Simplify configuration options

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 6 comments

#774 - Rationalize the list of bools being passed to prepare_cfg

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#773 - Use collapsable instructions in README.md

Pull Request - State: closed - Opened by elazarg 4 months ago - 2 comments

#772 - Don't permit truncating non-numbers

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#771 - Should not permit returning lower 32bits of pointer as r0

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 1 comment

#770 - Bump external/bpf_conformance from `b1b1c21` to `1ce2861`

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 2 comments
Labels: dependencies, submodules

#769 - Fix overflow in conversion from uvalue to svalue

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#768 - check that unsigned left shift by 0 is idempotent fails

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#767 - check that signed right shift by 0 is idempotent fails

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#766 - check that unsigned right shift by 0 is idempotent fails

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#765 - Verifier handles large negative unsigned values incorreclty

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 1 comment

#764 - Add support for WREG OPASSIGN WREG

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#763 - Support additional 64bit immediate instruction modes

Issue - State: open - Opened by Alan-Jowett 4 months ago - 4 comments

#762 - Skip relocations to sections when parsing elf

Pull Request - State: closed - Opened by a-hamza-r 4 months ago - 12 comments

#761 - ASM parser should permit "WREG OPASSIGN WREG"

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 1 comment

#760 - assert(!intv.is_bottom()) in void SplitDBM::set(const variable_t x, const interval_t& intv)

Issue - State: open - Opened by Alan-Jowett 4 months ago

#759 - Integrate format code script

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 3 comments

#758 - Restrict comparisons with pointers to legal operations

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#757 - Signed comparisons of pointers against 0 should only be permitted for == or !=, not >, >=, <, or <=

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#756 - Minor updates to move the code to more const-correct

Pull Request - State: open - Opened by keith-horton 4 months ago - 4 comments

#755 - Fix off-by-one error in stack access check

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#754 - Stack bounds check is off by one

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 3 comments

#753 - Reserve the space for the _succs and _preds in AdaptGraph::growTo

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#752 - crab::AdaptGraph::growTo is inefficient

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 1 comment

#751 - When including ebpf-verifier as a submodule, default to tests off

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#750 - Move all yaml related code into test

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 3 comments

#749 - Bump external/bpf_conformance from `e80df99` to `b1b1c21`

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, submodules

#748 - Bump external/libbtf from `6781bf2` to `69e0268`

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, submodules

#747 - Cilium program parsing fails due to relocation map bug

Issue - State: open - Opened by jetafese 4 months ago - 1 comment

#746 - chore: fix readme instructions for generating dot file

Pull Request - State: closed - Opened by jetafese 4 months ago - 2 comments

#745 - Enforce upper bound on loop count on all instructions in loops

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 15 comments

#744 - Verifier fails to detect infinite loops on conditional jumps

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#743 - Verifier should reject instructions if reserved bits are set in the instruction

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 1 comment

#742 - Havoc register if truncating non-number

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#741 - 32bit ALU ops should not be applied to pointers.

Issue - State: closed - Opened by Alan-Jowett 4 months ago

#740 - Reject binary ops where the source is an uninitialized register

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 3 comments

#739 - Verifier fails to reject multiplication and some other ALU ops by a non-number

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#738 - Verification error with packet sizes that are greater than 65535

Issue - State: open - Opened by xfoukas 4 months ago - 1 comment

#737 - Restrict udiv optimization to case where both are singletons

Pull Request - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#736 - Assertion failed: !intv.is_bottom(), file E:\ebpf-verifier\src\crab\split_dbm.cpp, line 953

Issue - State: closed - Opened by Alan-Jowett 4 months ago - 2 comments

#735 - Update test that used to fail to pass

Pull Request - State: closed - Opened by dthaler 4 months ago - 2 comments

GitHub / vbpf/ebpf-verifier issues and pull requests