aboutsummaryrefslogtreecommitdiffstats
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
...
* docs: add how to use syzbot image for kernel buildsDmitry Vyukov2022-05-191-1/+14
|
* docs: update link to stretch imageDmitry Vyukov2022-05-191-13/+9
| | | | | | Give link to the newer image (it's gzip'ed and has password-less ssh). Also we now put all kernel command line arguments into kernel config (CONFIG_CMDLINE), so passing them explicitly to qemu is not necessary.
* docs: add Remote Code Execution articleDmitry Vyukov2022-05-051-2/+3
|
* sys/linux: fix errors in dev_loop.txt郝宇 (Yu Hao)2022-05-051-0/+1
| | | | | | | | | * sys/linux: fix errors in dev_loop.txt * docs: add research paper (ICSE 22) * sys/linux: fix errors in dev_loop.txt * sys/linux: fix errors in dev_loop.txt
* docs: add info about straceAleksandr Nogikh2022-04-291-0/+40
|
* pkg/ast, pkg/compiler: support per-file metadataDmitry Vyukov2022-04-291-0/+16
| | | | | | | | | | | | | | | | | | | | | We have a bunch of hacks in syz-extract, syz-sysgen and syz-check with respect to description files unsupported on some arches, or that must not be part of make extract. Add 2 meta attribtues to files: meta noextract Tells `make extract` to not extract constants for this file. Though, `syz-extract` can still be invoked manually on this file. meta arches["arch1", "arch2"] Restricts this file only to the given set of architectures. `make extract` and ``make generate` will not use it on other architectures. Later we can potentially use meta attributes to specify git tree/commit that must be used for extraction. Maybe something else. Fixes #2754
* docs: update the documentation of new OS support (#3108)Fahima Mokhtari2022-04-251-1/+1
| | | | * docs: update the documentation of new OS support
* docs: fix coverage color for "both"Tamás Koczka2022-04-191-1/+1
|
* docs/linux: fix trivial typing typo ida_rsa -> id_rsaItaru Kitayama2022-04-151-1/+1
|
* docs: adding a new OS supportFahima Mokhtari2022-04-011-0/+51
| | | | | | | | | | | | | | | | | | | | | | | | | * docs: update syscalls documentation Fixing typo "does not contain" instead of "does not contains" * docs: extending Syzkaller to a new OS * docs: extending Syzkaller to a new OS * docs: extending Syzkaller to a new OS * docs: extending Syzkaller to a new OS * docs: extending Syzkaller to a new OS * docs: adding a new OS support * docs: adding a new OS support * docs: adding a new OS support * docs: adding a new OS support * docs: adding a new OS support
* docs: update syscalls documentationFahima Mokhtari2022-03-221-1/+1
| | | | Fixing typo "does not contain" instead of "does not contains"
* docs: update syz-testbed's docsAleksandr Nogikh2022-02-251-16/+50
|
* docs: add new research docs (#3012)Dmitry Vyukov2022-02-161-1/+7
|
* docs/fuchsia: update fuchsia documentation links (#3009)Behouba Manassé2022-02-161-2/+2
| | | Fuchsia documentation links are now pointing to fuchsia.dev.
* docs: update Go versionsDmitry Vyukov2022-01-191-15/+6
| | | | | Generally we aim at supporting 2 latest versions of Go. Currently it is 1.16 and 1.17.
* /docs: update instructions for source checkoutAdam Goska2022-01-198-19/+17
| | | | | | Updated documentation regarding source code checkout from the legacy gopath mode 'go get' to 'git clone'. Fixes #2828
* tools/syz-check: use $ as struct variant suffix delimiterDmitry Vyukov2022-01-131-4/+1
| | | | | | | | | | We already use this $ convention for syscall variant names. Use the same convention for struct. Currently syz-check supports '_' for structs, but it's inconsistent with syscalls and leads to ambiguity. If we enable the same matching for all structs (not just netlink), then '_' creates lots of false matches. E.g. bpf_link_get_next_id_args is matches with internal bpf_link struct.
* pkg/compiler: require stricter resource constructorsDmitry Vyukov2022-01-111-0/+4
| | | | | | | | | | | | | Don't consider syscalls that return resources in unions/arrays as constructors. Unions and arrays are problematic because we don't have directed generation in prog.randGen.createResource() and can fail to generate a syscall that returns a particular resource (generate a wrong union option that does not contain the necessary resource). This leads to the following panics: panic: failed to create a resource ifindex with ioctl$sock_SIOCGIFCONF Require each resource to have a constructor syscall that returns the resource outside of unions/arrays.
* pkg/compiler: prohibit use of direction attribute on union fieldsDmitry Vyukov2022-01-111-3/+1
| | | | | | Direction attributes on unions work in a confusing way and don't do what users may think they do. Now we have out_overlay attribute for structs that allows to have overlapping input and output fields.
* pkg/compiler: add out_overlay field attributeDmitry Vyukov2022-01-111-2/+25
|
* docs: update reporting_kernel_bugs.mdAlexander Potapenko2022-01-111-1/+6
| | | | Elaborate on report sanity.
* docs/openbsd: update found bugsAnton Lindqvist2022-01-111-3/+37
|
* docs/openbsd: only use manual sections for non syscallsAnton Lindqvist2022-01-111-2/+2
|
* docs/freebsd: update README.md executor compile command on guestAdam Goska2021-12-101-1/+1
| | | | | | | The instructions for compiling the executor files on the guest machine referenced executor_freebsd.cc which no longer exists and is now executor.cc. The DGOOS=freebsd flag is changed to DGOOS_freebsd=1 and DGOARCH_amd64=1 added to compile syz-executor successfully
* docs: update docs to reflect the new `async` flagAleksandr Nogikh2021-12-104-29/+98
|
* docs: add reference to CoLaFUZE paper (#2891)Dmitry Vyukov2021-11-251-0/+1
|
* docs: update the information about syz-testbedAleksandr Nogikh2021-11-121-39/+65
|
* docs: add SyzGen (CCS'21)arkivm2021-11-101-0/+1
|
* docs: rename syz-testbench to syz-testbedHeyuan2021-11-021-1/+1
|
* docs: add the reference to Snowboard paperSishuai Gong2021-11-021-0/+1
|
* docs: update bug reporting instructionsf0rm2l1n2021-10-271-0/+1
|
* docs: describe syz-testbedAleksandr Nogikh2021-10-201-0/+138
|
* docs/openbsd: update found bugsAnton Lindqvist2021-10-141-0/+10
|
* docs/syz-verifier: fix internal linkTaras Madan2021-10-051-2/+1
|
* docs: set GO111MODULE=off to fix documentation compatibility with go v1.16+Taras Madan2021-09-291-1/+1
|
* docs: remove $ to simplify the commands copy-pasteTaras Madan2021-09-291-7/+7
|
* docs/linux: format QEMU sectionTaras Madan2021-09-291-4/+12
|
* docs/linux: format Image sectionTaras Madan2021-09-291-4/+14
|
* docs/linux: format Kernel sectionTaras Madan2021-09-291-14/+42
|
* docs/linux: add Prerequisites sectionTaras Madan2021-09-291-4/+14
|
* docs/linux: extend GCC sectionTaras Madan2021-09-291-1/+7
|
* docs: add a brief program syntax descriptionAleksandr Nogikh2021-09-222-2/+95
| | | | | | | | Currently the documentation is lacking any description of the textual program representation used by syzkaller. Also, the newly implemented call properties are not described anywhere yet. Fix this by introducing the program_syntax.md file.
* docs: add few source links to research.mdDmitry Vyukov2021-09-171-2/+3
|
* docs/syz_verifier: update and reword introductionMarco Elver2021-09-101-40/+65
| | | | | | | | | | Update the introduction of syz-verifier to better define the problem it is attempting to solve: "semantic bugs" is the correct terminology for the type of bugs that syz-verifier attempts to find. Reflow the rest of the document to make it readable in plain-text. Co-developed-by: @maramihali
* vm/qemu: add apple_smc_osk and efi_{code,vars}_device optionsPatrick Meyer2021-09-031-1/+3
| | | | This way users don't have to overwrite qemu_args in their configs.
* docs: document how to fuzz macOSPatrick Meyer2021-09-023-19/+366
|
* docs/openbsd: update found bugsAnton Lindqvist2021-08-281-0/+4
|
* docs: add documentation for syz-verifierMara Mihali2021-08-052-0/+92
|
* executor: prepare code generator to allow other achitecturesAlexey Kardashevskiy2021-07-191-1/+1
| | | | | | | At the moment only AMD64 is supported, change file names to emphasise this. Signed-off-by: Alexey Kardashevskiy <aik@linux.ibm.com>
* docs/executing_syzkaller_programs.md: fix typoNicky Chorley2021-07-121-1/+1
|