551 Commits

Author SHA1 Message Date
Andrey Konovalov
c149e34955
Update syscall_descriptions.md 2020-06-12 14:46:16 +02:00
Dmitry Vyukov
588020678f all: use more respective language
Some terms are normalised on the technical level
but may be oppressive on a societal level.
Replace them with more technically neutral terms.
See the following doc for a longer version:
https://tools.ietf.org/id/draft-knodel-terminology-00.html
2020-06-11 23:19:34 +02:00
Andrey Konovalov
a6f7998d6b
Update syscall_descriptions_syntax.md 2020-06-10 14:21:54 +02:00
Ricardo Cañuelo
79bb873bd7 docs: new file pseudo_syscalls.md
Add a brief description about pseudo-syscalls and how to create new
ones.
2020-06-10 13:10:58 +02:00
Ricardo Cañuelo
0d60b78a51 docs: suggested changes for pull-request 1797
https://github.com/google/syzkaller/pull/1797
2020-06-08 22:21:43 +02:00
Ricardo Cañuelo
d6de733164 docs: more info about resources and the "enable_sysaclls" config option
- Give some extra clarifications and examples about resources in syscall
    descriptions.
  - More details about how to use the "enable_syscalls" option.
  - Mention pseudo-syscalls in the general syscall description doc file.
2020-06-08 22:21:43 +02:00
Andrey Konovalov
2420d1bcbc
Update setup.md 2020-06-04 21:02:02 +02:00
Andrey Konovalov
241440828e
Update setup.md 2020-06-04 21:01:10 +02:00
Michael Tuexen
6720fdefa0 docs/freebsd: install golangci-lint on FreeBSD
This is required for gmake presubmit.
2020-06-04 12:36:07 +02:00
Matt Morehouse
b0d1c0d578 docs/linux: fix example qemu command 2020-06-04 02:49:18 +02:00
Dmitry Vyukov
52fd7b7d77 tools: add syz-big-env
On top of syz-env it provides akaros/fuchsia/netbsd toolchains and gcloud sdk.
With this it's possible to run dashboard/app tests on CI and locally
and test executor build and pkg/{csource,cover} for these OSes.

Update #1765
2020-06-02 13:39:30 +02:00
Dmitry Vyukov
a0331e89e0
docs: fix a typo
Fixes ##1778
2020-05-31 10:23:36 +02:00
Dmitry Vyukov
0d951763f5
docs/netbsd: update image link 2020-05-28 16:54:29 +02:00
Dmitry Vyukov
9682898d6f
docs: add KRACE paper 2020-05-22 06:33:04 +02:00
Andrey Konovalov
d4bad60bb8
Update setup_ubuntu-host_qemu-vm_x86-64-kernel.md 2020-05-19 18:57:53 +02:00
Dongliang Mu
5d11c3ecfd docs: add the link of manager config file used in the syz-repro 2020-05-19 16:22:52 +02:00
Dmitry Vyukov
6d882fd26c tools/check_links.py: detect absolute links
Detect absolute links to our repo.
These are not checked and long and inconsistent with majority of links.
2020-05-19 12:52:04 +02:00
Dmitry Vyukov
37137150cb tools: add syz-env
syz-env provides a canned dev environment with all tools necessary
(Go, gcc, clang-format, etc) for development/testing in a form
of a Docker image. Example use:

$ syz-env make presubmit
$ syz-env make extract SOURCEDIR=~/linux

Update #1699
2020-05-18 11:34:42 +02:00
Dmitry Vyukov
08381b1a9a
docs: add articles by Collabora 2020-05-13 13:12:07 +02:00
Andrey Konovalov
f8f57555cd docs/contributing.md: updates 2020-05-11 08:29:31 +02:00
Andrey Konovalov
fe4122c3bf docs: various updates all over 2020-05-08 11:26:51 +02:00
Andrey Konovalov
98cbd87b5f docs/linux: update x86-64 instructions 2020-05-07 11:26:03 +02:00
Andrey Konovalov
44cf2476f3 sys/android: dev_ prefix for ion descriptions 2020-05-07 11:26:03 +02:00
Andrey Konovalov
d443a94b19 docs/linux: update links to go install 2020-05-07 11:26:03 +02:00
Andrey Konovalov
6ba01b1e0a docs: some setup.md updates 2020-05-07 11:26:03 +02:00
Andrey Konovalov
ec4026808b docs: move go install instructions to setup.md
Also update go version requirement to 1.13.
2020-05-07 11:26:03 +02:00
Andrey Konovalov
35b8eb3041
Update external_fuzzing_usb.md 2020-05-05 19:35:49 +02:00
Dmitry Vyukov
f8d0ffe005 docs: update source download instructions
Since we don't don't have auto-generated files checked-in,
go get fails to parse packages.
go get only prog package without building,
this will checkout the whole repo anyway
and that's the only thing we need.
2020-05-02 14:12:25 +02:00
Dmitry Vyukov
ec42220e77 Makefile: generate descriptions on-the-fly
Checking in the generated descriptions files makes few things simpler,
but causes pain for pull requests: (1) PRs that touch descriptions
_always_ conflict, (2) PRs are large and harder to review,
(3) people sometimes forget to add auto-generated files.

The proposed way does not require us to hardcode lots of dependencies
in the Makefile (which is nice) and seem to work.
Let's see how it works.

The main contributor-visible consequence is that the auto-generated
files do not need to be checked-in now.

Credit for figuring the Makefile magic goes to @melver.

Fixes #1291
2020-04-30 17:18:29 +02:00
Dmitry Vyukov
e3ecea2e7f
docs: clarify struct/union attributes in syzlang 2020-04-28 12:38:46 +02:00
Dmitry Vyukov
91db3ed8ce prog: add ignore_return and breaks_returns call attribtues
We had these hard-coded for fuchsia and linux accordingly.
Replace with call attributes.
2020-04-19 10:26:57 +02:00
Dmitry Vyukov
cc8708904d sys/linux: add timeout call attributes
Move additional call/prog timeouts to descriptions.

Due to this logic duplication executor used 50ms
for syz_mount_image, while pkg/csource used 100ms.
2020-04-19 10:26:57 +02:00
Dmitry Vyukov
0781895e0f pkg/compiler: refactor attribute handling
Introduce common infrastructure for describing and parsing attribute
instead of custom per-attribute code scattered across several locations.

Change align attribute syntax from the weird align_N to align[N].
This also allows to use literal constants as N.

Introduce notion of builtin constants.
Currently we have only PTR_SIZE, which is needed to replace
align_ptr with align[PTR_SIZE].
2020-04-19 10:26:57 +02:00
Andrey Konovalov
a8c6a3f8da
Update external_fuzzing_usb.md 2020-04-09 02:54:51 +02:00
Jukka Kaartinen
490e527b51 docs: Add map of the syzbot setup
Add mind map image of the syzbot setup to show how
peaces are connected.

Signed-off-by: Jukka Kaartinen <jukka.kaartinen@unikie.com>
2020-04-03 10:42:34 +02:00
Andrey Konovalov
6d25c5a09d
Update syzbot.md 2020-03-26 12:34:19 +01:00
Andrey Konovalov
e8e6c7d21d
Update syzbot.md 2020-03-25 13:20:15 +01:00
Anton Lindqvist
41f049cc40 docs/openbsd: update found bugs.md 2020-03-24 18:19:57 +01:00
Andrey Konovalov
33e14df3b1
Update external_fuzzing_usb.md 2020-03-23 17:25:56 +01:00
Andrey Konovalov
84f999d631
Update external_fuzzing_usb.md 2020-03-23 16:24:52 +01:00
Kamil Rytarowski
329c2fa6c4 netbsd/found_bugs.md: Reset to the redirection to syzbot
This list is not maintained.
2020-03-21 12:27:14 +01:00
Kamil Rytarowski
f4ae90369c netbsd: Improve README.md
Based on feedback from Maxime Villard.
2020-03-21 12:23:34 +01:00
Dmitry Vyukov
2e9971bbbf
Update found_bugs.md 2020-03-07 07:46:22 +01:00
Andrey Konovalov
576fb9bc34 sys, docs: rename syzcall to pseudo-syscall 2020-03-04 19:28:09 +01:00
Alexander Popov
1f73b64b12 Add my ISPRASOPEN-2019 talk 2020-03-03 13:01:28 +01:00
Dmitry Vyukov
350a7a2647 docs: add talks page
Move all tech talks and articles to a separate page,
there are too many of them now to list on the main page.
Extend talks list with new talks.
2020-03-03 09:02:26 +01:00
Andrey Konovalov
4f58811192
Update internals.md 2020-02-25 15:01:46 +01:00
Andrey Konovalov
0ab513798b
Update setup.md 2020-02-25 14:51:56 +01:00
Andrey Konovalov
b9b2aa2fc2
Update contributing.md 2020-02-25 14:51:46 +01:00
Andrey Konovalov
4c886d6a76
Update setup_ubuntu-host_qemu-vm_x86-64-kernel.md 2020-02-25 14:46:54 +01:00