forked from rlane/ubpf
-
Notifications
You must be signed in to change notification settings - Fork 138
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: Alan Jowett <[email protected]>
- Loading branch information
Alan Jowett
committed
Oct 28, 2024
1 parent
f76c009
commit 2210f05
Showing
2 changed files
with
16 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -220,23 +220,32 @@ jobs: | |
if: matrix.platform == 'ubuntu-24.04' | ||
run: chmod a+x ubpf_fuzzer | ||
|
||
# If this is a workflow call, run ubpf_fuzzer over each file in the corpus as a regression test. | ||
- name: Run fuzzing regression | ||
if: github.event_name == 'workflow_call' | ||
run: | | ||
./ubpf_fuzzer -merge fuzz/corpus new_corpus | ||
# If this is a scheduled run or a manual run, run ubpf_fuzzer to attempt to find new crashes. Runs for 2 hours. | ||
- name: Run fuzzing | ||
if: matrix.platform == 'ubuntu-24.04' | ||
if: matrix.platform == 'ubuntu-24.04' && (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') | ||
run: | | ||
ls | ||
UBPF_FUZZER_CONSTRAINT_CHECK=1 ./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=300 -dict=dictionary.txt | ||
UBPF_FUZZER_CONSTRAINT_CHECK=1 ./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=7200 -dict=dictionary.txt | ||
# If this is a scheduled run or a manual run, run ubpf_fuzzer to attempt to find new crashes. Runs for 2 hours. | ||
- name: Run fuzzing | ||
if: matrix.platform == 'windows-latest' | ||
if: matrix.platform == 'ubuntu-24.04' && (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') | ||
run: | | ||
ls | ||
./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=300 | ||
./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=7200 | ||
# Merge the new corpus into the existing corpus and push the changes to the repository. | ||
- name: Merge corpus into fuzz/corpus | ||
if: ${{ github.event_name == 'schedule' }} | ||
if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' | ||
run: | | ||
git pull | ||
./ubpf_fuzzer -merge=1 fuzz/corpus new_corpus | ||
git pull | ||
git add fuzz/corpus | ||
git config --global user.email '[email protected]' | ||
git config --global user.name 'Github Action' | ||
|
Submodule ebpf-verifier
updated
8 files
+2 −1 | src/assertions.cpp | |
+3 −13 | src/crab_verifier.hpp | |
+12 −20 | src/test/ebpf_yaml.cpp | |
+1 −1 | src/test/ebpf_yaml.hpp | |
+1 −8 | test-data/add.yaml | |
+6 −0 | test-data/jump.yaml | |
+0 −19 | test-data/loop.yaml | |
+0 −82 | test-data/uninit.yaml |