564 Commits

Author SHA1 Message Date
Dmitry Vyukov
41694dbf71
docs: fix a link in research page 2020-06-24 12:06:50 +02:00
Marco Elver
9843a4a88c docs/syzbot: Add link to GCC 10 2020-06-22 15:09:21 +02:00
Andrey Konovalov
81abc33188
Update external_fuzzing_usb.md 2020-06-19 19:10:56 +02:00
Andrey Konovalov
853595a523
Update setup_ubuntu-host_qemu-vm_x86-64-kernel.md 2020-06-19 12:45:27 +02:00
Marco Elver
3ea11d3f9e docs/syzbot: Update KCSAN related information 2020-06-18 14:24:47 +02:00
Andrey Konovalov
b9f3810bc5
Update external_fuzzing_usb.md 2020-06-17 00:35:00 +02:00
Andrey Konovalov
3674152277
Update external_fuzzing_usb.md 2020-06-16 15:36:50 +02:00
Andrey Konovalov
e161d77ee2
Update external_fuzzing_usb.md 2020-06-16 15:31:24 +02:00
Andrey Konovalov
6a34f5e831
Update syzbot.md 2020-06-16 15:17:49 +02:00
Andrey Konovalov
205b2ba418 docs/syzbot.md: update notes on USB 2020-06-13 11:38:41 +02:00
Andrey Konovalov
d1c1c84952
Update syscall_descriptions.md 2020-06-12 18:16:15 +02:00
Andrey Konovalov
3036d6fd0b
Update external_fuzzing_usb.md 2020-06-12 17:41:07 +02:00
Andrey Konovalov
df5902545c
Update syscall_descriptions.md 2020-06-12 14:48:32 +02:00
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