Skip to content

Issues: vbpf/ebpf-verifier

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 143 Closed
29 Open 143 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

assert(!thread_local_options.assume_assertions || is_bottom()) hit when fuzzing with assume_assertions on
#643 opened May 22, 2024 by Alan-Jowett
1
Feature Request: Add Read-Only CTX Descriptor.
#639 opened May 17, 2024 by gtrevi
Compiler version for Ubuntu build
#630 opened May 8, 2024 by aagontuk
Stream operator for ValidMapKeyValue always says target is stack location
#626 opened May 2, 2024 by Alan-Jowett
FuzzerDebug configuration not setting correct flags
#624 opened May 2, 2024 by Alan-Jowett
Error when running scripts/experiment.sh
#607 opened Mar 20, 2024 by guangshengfan
3
UndefinedBehaviorSanitizer: radix_substr shift exponent 64 is too large for 64-bit type
#602 opened Mar 11, 2024 by Alan-Jowett
Add support for calling a helper function by BTF ID
#590 opened Feb 21, 2024 by dthaler
Docker build not working (missing things + compiler errors)?
#553 opened Dec 28, 2023 by meowjesty
Verifier stucks while verifying the loop program
#545 opened Dec 12, 2023 by pcy190
Add support for LDDW with src_reg > 1
#533 opened Oct 6, 2023 by Officeyutong
2
Verifier get stuck on nested-loops termination check
#521 opened Jul 25, 2023 by absagar1
Prevail does not support function calls
#451 opened Jan 17, 2023 by H0mTanks
1
12
Widening is too aggressive
#441 opened Jan 3, 2023 by dthaler
2
Retire codecov.io PR status reports
#346 opened May 19, 2022 by Alan-Jowett
Code coverage reported on coverals.io includes external subfolder and test subfolder
#344 opened May 19, 2022 by Alan-Jowett
yaml-cpp breaks incremental builds in VS
#311 opened Mar 1, 2022 by dthaler
Using intervals to track types causes verification failures
#286 opened Oct 21, 2021 by dthaler
Verifier should implement reference tracking semantics required by BPF_MAP_TYPE_RINGBUF
#273 opened Sep 27, 2021 by Alan-Jowett
15
Idea: split basic blocks into preconditions+code
#258 opened Sep 4, 2021 by elazarg
1
Use verifier to identify dependent reads that require speculative load hardening
#229 opened May 20, 2021 by Alan-Jowett
5
Mismatched context should fail verification bug Something isn't working
#192 opened Mar 20, 2021 by dthaler
1
Additional helpers
#182 opened Mar 8, 2021 by dthaler
2
Remove file glob entries in cmakefiles.txt and specify sources explicitly instead
#144 opened Jan 5, 2021 by poornagmsft
1
Store value < 2^b for writes of b bytes
#71 opened Mar 12, 2019 by elazarg
ProTip! Exclude everything labeled bug with -label:bug.