If you want to contribute to the project, feel free to send a pull request.
Before sending a pull request you need to sign Google CLA (if you don't a bot will ask you to do that) and add yourself to AUTHORS/CONTRIBUTORS files (in case this is your first pull request to syzkaller).
Some guildelines to follow:
package: one-line description <empty line> Extended multi-line description that includes the problem you are solving and how it is solved.
package
is the package/tool this commit changes (look at examples in the commit history)
make presubmit
and ensure that it passes before sending a PR. It may require some additional packages to be installed (try sudo make install_prerequisites
)Extending/improving system call descriptions is always a good idea.
Unassigned issues from the bug tracker are worth doing, but some of them might be complicated.
If you want to work on something non-trivial, please briefly describe it on the syzkaller@googlegroups.com mailing list first, so that there is agreement on high level approach and no duplication of work between contributors.
Fork
button in the top-right corner of the page. This will create https://github.com/YOUR_GITHUB_USERNAME/syzkaller
repository.go
command the checkout must be under $GOPATH
. The simplest way to do it is to run go get github.com/google/syzkaller
, this will checkout the repository in $GOPATH/src/github.com/google/syzkaller
.cd $GOPATH/src/github.com/google/syzkaller git remote add my-origin https://github.com/YOUR_GITHUB_USERNAME/syzkaller.git git fetch my-origin git checkout -b my-branch master
This adds git origin my-origin
with your repository and checks out new branch my-branch
based on master
branch.
git add
for all changed files, e.g. git add sys/linux/sys.txt
. You can run git status
to see what files were changed/created. When all files are added (git status
shows no files in Changes not staged for commit
section and no relevant files in Untracked files
section), run git commit
and enter commit description in your editor.git push my-origin my-branch
.Compare & pull request
button, press it. Then press Create pull request
. Now your pull request should show up on pull requests page.Create pull request
button for any reason, you can create pull request manually. For that nagivate to pull requests page, press New pull request
, then compare across forks
and choose google/syzkaller
/master
as base and YOUR_GITHUB_USERNAME/syzkaller
/my-branch
as compare and press Create pull request
.my-branch
(e.g. to rebase them onto updated master) after you created a pull-request, you will need to do a force push: git push -f my-origin my-branch
.