Commit Graph

614 Commits

Author SHA1 Message Date
Jouni Hogander
5dd8aee810 docs/coverage.md: update coverage document 2020-09-26 17:47:37 +02:00
Dmitry Vyukov
3489f2f32e
docs: add link for another clang compiler version 2020-09-23 17:17:16 +02:00
Radoslav Gerganov
b70f2394ec docs/linux: add instructions for fuzzing on VMware hosted hypervisors
Add new page for fuzzing x86-64 Linux kernel on VMware VMs.
It explains how to create a VMDK image and how to run it on Ubuntu host
with Workstation installed. For now only the isolated mode of syzkaller
is supported.
2020-09-23 17:13:28 +02:00
Dmitry Vyukov
77507d0229
docs: add another research paper 2020-09-16 13:39:40 +02:00
Dmitry Vyukov
298a69c38d docs/linux: fix whitespaces in coverage doc 2020-09-15 15:50:24 +02:00
m5imunovic
0f06037d76 docs/linux/coverage.md: expand readelf section and reformat 2020-09-15 15:50:24 +02:00
m5imunovic
ffd13eb166 docs/linux/coverage.md: fix doc format 2020-09-15 15:50:24 +02:00
m5imunovic
ca3158ee9a docs/linux/coverage.md: expand coverage reporting doc 2020-09-15 15:50:24 +02:00
Heyuan Shi
6989d6f61d docs: clarify coverage point in different compliers 2020-09-15 09:39:09 +02:00
Dmitry Vyukov
fab7609913 tools/check-whitespace.sh: check for trailing whitespaces
File types that we don't format automatically can end up
with such basic untidiness as trailing whitespaces.
Check for these. Remove all existing precedents.
2020-09-14 09:55:45 +02:00
Alexander Egorenkov
d56d957c29 docs/linux: describe how to setup s390x test environment
Signed-off-by: Alexander Egorenkov <Alexander.Egorenkov@ibm.com>
2020-09-13 16:06:07 +02:00
Dmitry Vyukov
9296c80bbc tools/docker: mirror images on github
Some users don't have access to the gcr.io registry.
Mirror images on github as well.
2020-09-12 16:26:58 +02:00
Dmitry Vyukov
79fb24e23d
docs: clarify what is coverage 2020-09-11 11:59:39 +02:00
Dmitry Vyukov
adfb8b4e39
docs: clarify that Go 1.14 is required for contributors 2020-09-11 08:32:44 +02:00
Albert van der Linde
ac7ca78e73 dashboard/config: enable CONFIG_FAULT_INJECTION_USERCOPY
As CONFIG_FAULT_INJECTION_USERCOPY is already included in linux-next,
enable the config.

Fixes #1979
2020-09-09 14:39:22 +02:00
Andrey Konovalov
9006857c45
docs/usb: fix raw-gadget instructions 2020-08-25 01:06:05 +02:00
Dmitry Vyukov
4b4ae700b3
docs/linux: update found bugs 2020-08-24 13:26:15 +02:00
clslgrnc
6436ce4bcd docs/linux: fix KMEMLEAK variable in suggested kernel configs 2020-08-21 08:12:55 +02:00
Tree Davies
7016057751 docs/usage.md: correct grammatical error
'...a way connect them' -> '...a way to connect them'

Signed-off-by: Tree Davies <tdavies@darkphysics.net>
2020-08-20 19:54:30 +02:00
ThePraeceps
94b457068c Missing space at end of line of command
There is a missing space on the command at line 131, which when copied causes it not to execute properly.
2020-08-19 16:46:57 +02:00
Dmitry Vyukov
9c6fc8db23
docs: add reference to "Exploiting the Linux kernel via packet sockets" 2020-08-16 10:12:39 +02:00
Dmitry Vyukov
4a68e16fb4
docs: add reference to "Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing" 2020-08-16 10:11:14 +02:00
Dmitry Vyukov
c71bff662d
docs: add reference to "HFL: Hybrid Fuzzing on the Linux Kernel" 2020-08-16 10:06:58 +02:00
Dmitry Vyukov
c2707aa5fe
docs: add reference to "Fuzzing the OpenBSD Kernel" 2020-08-14 19:05:57 +02:00
Dmitry Vyukov
54ce1ed6b9 sys/linux: switch to the new .const format
This reduces number of const files/lines from 1288/96599 to 158/11603.
Const files are generated on next-20200813.

Update #1983
2020-08-13 17:22:16 +02:00
Necip Fazil Yildiran
f5442bde55 pkg, prog: add per-field direction attribute 2020-08-13 13:50:25 +02:00
Mark Johnston
bb3e5fe608 docs/freebsd: clarify that the dataset name is an example 2020-08-11 11:42:07 -04:00
Mark Johnston
4ad44804fb docs/freebsd: update the "missing things" list
Some items have already been implemented.  Add some new items to work
towards.
2020-08-11 11:42:07 -04:00
Dmitry Vyukov
d895b3be2c .github/workflows: check commit description format
Check PR commit subjects for the standard format we use "pkg/name: description of the change".
Check PR commit bodies for at most 120 characters.
2020-07-31 17:22:18 +02:00
Anton Lindqvist
19a8de55e5 docs/openbsd: update found bugs.md 2020-07-29 08:15:18 +02:00
Dmitry Vyukov
6e2b10b1a4 docs: add section on descriptions testing
The sys/OS/test/* tests are currently mostly undocumented.
Add initial documentation for these tests.

The "External Dependencies" section is just moved with no changes.
2020-07-27 07:45:19 +02:00
Dmitry Vyukov
b090c64363 docs: add a note re pseudo-syscall dependencies 2020-07-16 12:29:42 +02:00
Dmitry Vyukov
5395640c2f docs: add a note re per-field directions 2020-07-16 12:29:42 +02:00
Andrey Konovalov
561f9a1f6f docs: add instructions on updating syz-env 2020-07-15 09:26:53 +02:00
Dmitry Vyukov
9ebcc5b1a8
docs: add another research paper 2020-07-12 16:09:44 +02:00
Andrey Konovalov
3ea3b66344 Update syzbot.md 2020-07-09 18:43:28 +02:00
Tobias Klauser
e2d3226c15 docs/linux: use OpenSBI jump firmware in QEMU for linux/riscv64
Use the OpenSBI "jump" firmware with the QEMU -bios parameter to boot
linux/riscv64. This will allow to boot the kernel directly without
having to recompile OpenSBI every time the kernel is recompiled.

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-09 11:57:12 +02:00
Tobias Klauser
a864f3d20c docs/linux: add not about default OpenSBI firmware in QEMU for linux/riscv64
Mention the possibility to use `-bios default` to use OpenSBI provided
with QEMU. However, this might not work on all distributions yet, so
make it optional.

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-09 11:43:36 +02:00
Tobias Klauser
1bac9ec6ea docs/linux: drop dhcpcd from buildroot options in linux/riscv64 instructions
buildroot already installs udhcpc as a DHCP client.

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-09 11:43:36 +02:00
Tobias Klauser
e3dcfa19aa docs/linux: mention QEMU version in linux/riscv64 instructions
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-09 11:43:36 +02:00
Dmitry Vyukov
5b6bfb32b0
docs: add explanation of flags type
* docs: add explanation of flags type
* Apply suggestions from code review
Co-authored-by: Marco Elver <marco.elver@gmail.com>
2020-07-09 11:42:24 +02:00
Dmitry Vyukov
0219d4e7da docs: explain pseudo-syscall argument type 2020-07-08 15:14:01 +02:00
Dmitry Vyukov
f1996f0507 docs: add tips on writing descriptions 2020-07-08 14:31:45 +02:00
Dmitry Vyukov
f7ae27af2f docs: add note that pseudo-syscalls are discouraged 2020-07-08 14:27:01 +02:00
Tobias Klauser
695ef2ddb2 docs/linux: use OpenSBI instead of BBL to boot linux/riscv64 QEMU VM
OpenSBI seems to be the recommended boot method nowadays, see e.g. [1],
[2]

[1] https://riscv.org/2019/01/risc-v-community-releases-opensbi-to-foster-continued-ecosystem-growth/
[2] https://wiki.freebsd.org/riscv#OpenSBI

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-01 21:29:39 +02:00
Tobias Klauser
33576216a5 docs/linux: mention CONFIG_KMEMLEAK in suggested kernel configs
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-07-01 10:43:09 +02:00
Dmitry Vyukov
ce9ef6f2ec docs/linux: change suggested kernel git repo
Suggest to checkout linux kernel from kernel.org rather than from github.
github is a mirror and we don't use it ourselves and I think it's
generally not used by kernel developers. The kernel.org repo is
the canonical location.
2020-06-29 15:28:14 +02:00
Andrey Konovalov
708d6e5be1
Update setup_ubuntu-host_qemu-vm_x86-64-kernel.md 2020-06-29 15:05:07 +02:00
Andrey Konovalov
54cbc73031
Update setup_ubuntu-host_qemu-vm_x86-64-kernel.md 2020-06-29 15:00:45 +02:00
Tobias Klauser
2defc703fd docs/linux: add setup guide for riscv64 kernel in QEMU
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
2020-06-27 15:04:27 +02:00