-
Notifications
You must be signed in to change notification settings - Fork 44
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
assert(!intv.is_bottom()) in void SplitDBM::set(const variable_t x, const interval_t& intv)
#760
opened Oct 26, 2024 by
Alan-Jowett
Verification error with packet sizes that are greater than 65535
#738
opened Oct 17, 2024 by
xfoukas
Improve verifier failure debugging experience by interleaving lines of code in the output more
#688
opened Sep 25, 2024 by
Austin-Lamb
Ignored correlations between callee-saved registers with unknown values
#670
opened Sep 2, 2024 by
elazarg
assert(!thread_local_options.assume_assertions || is_bottom()) hit when fuzzing with assume_assertions on
#643
opened May 22, 2024 by
Alan-Jowett
Stream operator for ValidMapKeyValue always says target is stack location
#626
opened May 2, 2024 by
Alan-Jowett
UndefinedBehaviorSanitizer: radix_substr shift exponent 64 is too large for 64-bit type
#602
opened Mar 11, 2024 by
Alan-Jowett
Code coverage reported on coverals.io includes external subfolder and test subfolder
#344
opened May 19, 2022 by
Alan-Jowett
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.