aboutsummaryrefslogtreecommitdiffstats
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
...
* docs/syz-ci fixed linkGreg Steuck2018-09-251-1/+1
|
* docs: add research work based on syzkallerDmitry Vyukov2018-09-241-0/+8
|
* docs/openbsd: add missing template directive to example configurationAnton Lindqvist2018-09-191-1/+2
|
* docs/openbsd: update instructions on kernel compilationAnton Lindqvist2018-09-171-7/+11
|
* dashboard/app: allow some cross-reporting dupsDmitry Vyukov2018-09-111-2/+2
| | | | | | | | | | Allow a special case of cross-reporting duping: rom last but one reporting to the last one (which is stable, final destination) provided that these two reportings have the same access level and type. The rest of the combinations can lead to surprising states and information hiding, so we still don't allow them. Fixes #569
* docs: Use 'stretch' in ssh commandTobin C. Harding2018-09-111-1/+1
| | | | | | | | | Recently Debian image was updated to be 'stretch' from 'wheezy'. The ssh command got missed. Update the ssh command to use 'stretch' instead of 'wheezy'. Signed-off-by: Tobin C. Harding <me@tobin.cc>
* tools/create-openbsd-gce-ci.sh: image for build machineGreg Steuck2018-09-101-0/+34
| | | | | Mostly derived from Go buildlet generator with blessing from bradfitz@. Update #712
* sys/fuchsia: add Go script that generates fidl descriptionsDokyung Song2018-09-061-0/+8
|
* tools: update to Debian stretchKees Cook2018-09-051-13/+13
| | | | | | | This updates the image creation tool to use Debian stretch (current stable) instead of wheezy, which is very out of date. The only change needed here was a hint to systemd to make the root filesystem read-write after booting. Documentation has also been updated.
* Modify name of private key file as id_rsa does not exist in the contextDongliang Mu2018-09-051-2/+2
|
* Update syzbot.mdDmitry Vyukov2018-09-031-2/+6
| | | clarify KMSAN testing instructions
* Update syzbot.mdDmitry Vyukov2018-09-031-3/+6
|
* docs/openbsd: add kernel properties to example configurationAnton Lindqvist2018-09-011-0/+2
|
* Update kernel_configs.mdDmitry Vyukov2018-08-291-5/+7
|
* docs/openbsd: update found_bugs.mdAnton Lindqvist2018-08-291-0/+2
|
* docs: add OpenBSDAnton Lindqvist2018-08-283-0/+140
|
* sys/fuchsia: description for fuchsia.io FIDL interfacesDokyung Song2018-08-271-0/+15
|
* [doc] Update contributing instructions.Julia Hansbrough2018-08-171-0/+11
| | | | Details how to run tests and how to work around gofmt bug.
* pkg/mgrconfig: move from syz-manager/mgrconfigDmitry Vyukov2018-08-021-2/+2
| | | | | | | | mgrconfig was used only by syz-manager initially, but now it's used by a dozen of packages and it's weird to import from under a binary dir. pkg/ is much more reasonable dir for a widely used helper package.
* manager: Fix default value for 'sandbox' (#666)Zach Riggle2018-08-011-2/+2
| | | | | | | | docs: fix default sandbox value The docs and code comments state in several places that 'setuid' is the default sandbox value. However, the default is actually 'none'. Fix docs.
* executor: overhaulDmitry Vyukov2018-07-241-1/+1
| | | | | | | | | | | | | | | | | Make as much code as possible shared between all OSes. In particular main is now common across all OSes. Make more code shared between executor and csource (in particular, loop function and threaded execution logic). Also make loop and threaded logic shared across all OSes. Make more posix/unix code shared across OSes (e.g. signal handling, pthread creation, etc). Plus other changes along similar lines. Also support test OS in executor (based on portable posix) and add 4 arches that cover all execution modes (fork server/no fork server, shmem/no shmem). This change paves way for testing of executor code and allows to preserve consistency across OSes and executor/csource.
* pkg/compiler: support negative integersDmitry Vyukov2018-07-091-2/+3
| | | | | | Currently we have to use 0xffffffffffffffff to represent -1, and we can't express e.g. -20:20 int range. Support negative consts to fix both problems.
* prog, pkg/compiler: support fmt typeDmitry Vyukov2018-07-081-0/+3
| | | | | fmt type allows to convert intergers and resources to string representation.
* Update syzbot.mdDmitry Vyukov2018-07-061-2/+2
| | | explicitly specify KMSAN branch for testing
* Update found_bugs.mdDmitry Vyukov2018-07-041-0/+1
|
* Update syzbot.mdDmitry Vyukov2018-07-021-0/+1
| | | add link to another clang compiler
* docs: remove mentions of vmlinuxDmitry Vyukov2018-06-2810-15/+14
| | | | | | vmlinux is deprecated in favor of kernel_obj. Remove all mentions of it. Also warn in syz-manager/mgrconfig if vmlinux is set.
* docs: add gvisor pageDmitry Vyukov2018-06-251-0/+26
|
* Update found_bugs.mdshankarapailoor2018-06-121-0/+1
|
* Update found_bugs.mdDmitry Vyukov2018-06-121-2/+2
|
* pkg/host: rework host feature detection/setupDmitry Vyukov2018-06-121-1/+0
| | | | | | | | | | Currently host feature detection/setup code is spread across platform-independent fuzzer code, pkg/host, pkg/ipc and executor. Move this all into pkg/host and show readable info about features on manager start. Fixes #46
* Update syzbot.mdDmitry Vyukov2018-06-111-0/+4
| | | add reference to kernel configs
* docs: update fuchsia instructionsDmitry Vyukov2018-06-061-4/+31
|
* Update found_bugs.mdDmitry Vyukov2018-06-051-0/+1
|
* Update found_bugs.mdDmitry Vyukov2018-06-051-0/+1
|
* Update syscall_descriptions_syntax.mdDmitry Vyukov2018-06-041-4/+3
| | | extend resource description
* Update syscall_descriptions_syntax.mdDmitry Vyukov2018-06-041-2/+2
| | | clarify size of intptr
* pkg/compiler: add optional builtin templateDmitry Vyukov2018-05-171-4/+8
| | | | | | | type optional[T] [ val T void void ] [varlen]
* docs: describe syzbot moderation queueDmitry Vyukov2018-05-161-0/+17
|
* Updated file and fixed typo.Murat2018-05-151-1/+1
| | | Fixed typo for JSON config file. It has a comma after "false". If this comma exist, it always gives issue about object thing.
* dashboard/app: remove most details from email footerDmitry Vyukov2018-05-151-5/+5
| | | | | | | | | | | | | Exact details of syzbot communication change over time, so it's a bad idea to hardcode them in each email. Full details are also quite lengthy, so we can't express all of them in each email header. And providing partial info may be worse than just providing a link to full info. So remove most details from email footer, and just give links to documentation. Also clarify docs re when "syz fix" should/can be used.
* docs: add link for PH-1 kernelJean-Baptiste Theou2018-05-091-1/+1
| | | | Signed-off-by: Jean-Baptiste Theou <jb@essential.com>
* fixed link to generated file in the docsAlex Gaynor2018-05-061-1/+1
|
* pkg/ast: support char constantsDmitry Vyukov2018-04-291-0/+15
| | | | | | | Frequently it's useful to do something like: int8['a':'z'] punctuation = ',', '-', ':'
* Update kernel_configs.mdDmitry Vyukov2018-04-271-0/+6
|
* Update setup_linux-host_qemu-vm_arm-kernel.mdDmitry Vyukov2018-04-271-0/+1
|
* docs: add instructions for arm kernelDmitry Vyukov2018-04-272-0/+135
|
* Update found_bugs.mdDmitry Vyukov2018-04-241-0/+1
|
* docs: add new ways of testing patches on syzbot Dmitry Vyukov2018-04-241-12/+27
| | | | 1. Mention that exact commit hash can be provided. 2. Mention that patch is optional now.
* Update found_bugs.mdDmitry Vyukov2018-04-231-0/+1
|