Skip to content
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

Jump to bottom

Workflow failed - verifier_fuzzer #1756

Closed
github-actions bot opened this issue Dec 15, 2022 · 8 comments · Fixed by #1991
Closed

Workflow failed - verifier_fuzzer #1756

github-actions bot opened this issue Dec 15, 2022 · 8 comments · Fixed by #1991
Assignees
@dthaler
Labels
bug Something isn't working ci/cd Issue is specific to CI/CD ebpfverifier PR/Issues for ebpfverifier triaged Discussed in a triage meeting
Milestone
2302

Comments

@github-actions
Copy link
Contributor

Failed Run
Codebase
Test name - verifier_fuzzer
@github-actions github-actions bot added bug Something isn't working ci/cd Issue is specific to CI/CD labels Dec 15, 2022
@github-actions
Copy link
Contributor Author

Failed Run
Codebase
Test name - verifier_fuzzer

@github-actions
Copy link
Contributor Author

github-actions bot commented Jan 1, 2023

Failed Run
Codebase
Test name - verifier_fuzzer

@dthaler
Copy link
Collaborator

dthaler commented Jan 3, 2023

To run verifier_fuzzer locally, need to build using:

set CXXFLAGS=/fsanitize-coverage=inline-bool-flag /fsanitize-coverage=edge /fsanitize-coverage=trace-cmp /fsanitize-coverage=trace-div /ZH:SHA_256
set LDFLAGS="clang_rt.fuzzer_MD-x86_64.lib" "libsancov.lib"
msbuild /m /p:Configuration=Debug /p:Platform=x64 /p:Fuzzer=True /t:tests\libfuzzer\execution_context_fuzzer /t:tests\libfuzzer\bpf2c_fuzzer /t:tests\libfuzzer\verifier_fuzzer /t:tests\libfuzzer\core_helper_fuzzer ebpf-for-windows.sln

@dthaler dthaler mentioned this issue Jan 3, 2023
Closed
@dthaler dthaler self-assigned this Jan 4, 2023
dthaler added a commit to dthaler/ebpf-verifier that referenced this issue Jan 4, 2023
@dthaler
Fix crash found by verifier fuzz testing
6ec8c26 
microsoft/ebpf-for-windows#1756

Signed-off-by: Dave Thaler <[email protected]>
@dthaler dthaler mentioned this issue Jan 4, 2023
Merged
@dthaler dthaler added this to the 2301 milestone Jan 4, 2023
elazarg pushed a commit to vbpf/ebpf-verifier that referenced this issue Jan 4, 2023
@dthaler @elazarg
Fix crash found by verifier fuzz testing
c8b2f4d 
microsoft/ebpf-for-windows#1756

Signed-off-by: Dave Thaler <[email protected]>
@dthaler dthaler added the ebpfverifier PR/Issues for ebpfverifier label Jan 9, 2023
@dthaler
Copy link
Collaborator

dthaler commented Jan 9, 2023

Blocked on #1451. We can't upgrade to the fixed version of the verifier until vbpf/ebpf-verifier#441 is fixed.

@dthaler dthaler added the blocked Blocked on another issue that must be done first label Jan 9, 2023
@Alan-Jowett Alan-Jowett added the triaged Discussed in a triage meeting label Jan 9, 2023
@dthaler dthaler mentioned this issue Jan 18, 2023
Merged
@github-actions
Copy link
Contributor Author

Failed Run
Codebase
Test name - verifier_fuzzer

@github-actions
Copy link
Contributor Author

Failed Run
Codebase
Test name - verifier_fuzzer

@dthaler dthaler modified the milestones: 2301, 2302 Jan 28, 2023
@github-actions
Copy link
Contributor Author

Failed Run
Codebase
Test name - verifier_fuzzer

@github-actions
Copy link
Contributor Author

Failed Run
Codebase
Test name - verifier_fuzzer

@dthaler dthaler removed the blocked Blocked on another issue that must be done first label Feb 1, 2023
dthaler added a commit to dthaler/ebpf-for-windows that referenced this issue Feb 1, 2023
@dthaler
Update verifier to latest
62c8fda 
Fixes microsoft#1451
Fixes microsoft#1756

Signed-off-by: Dave Thaler <[email protected]>
@dthaler dthaler mentioned this issue Feb 1, 2023
Merged
dthaler added a commit to dthaler/ebpf-for-windows that referenced this issue Feb 1, 2023
@dthaler
Update verifier to latest
e25eedb 
Fixes microsoft#1451
Fixes microsoft#1756

Signed-off-by: Dave Thaler <[email protected]>
@dthaler dthaler closed this as completed in 68544ba Feb 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dthaler dthaler

Labels
bug Something isn't working ci/cd Issue is specific to CI/CD ebpfverifier PR/Issues for ebpfverifier triaged Discussed in a triage meeting
Projects
None yet
Milestone
2302
Development

Successfully merging a pull request may close this issue.

Update verifier to latest dthaler/ebpf-for-windows
2 participants
@dthaler @Alan-Jowett