| Commit message (Collapse) | Author | Age | Files | Lines |
| ... | |
| | |
|
| |
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
|
|
|
|
| |
* 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
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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
|
| |
|
|
| |
Fixing typo "does not contain" instead of "does not contains"
|
| | |
|
| | |
|
| |
|
| |
Fuchsia documentation links are now pointing to fuchsia.dev.
|
| |
|
|
|
| |
Generally we aim at supporting 2 latest versions of Go.
Currently it is 1.16 and 1.17.
|
| |
|
|
|
|
| |
Updated documentation regarding source code checkout from the legacy gopath
mode 'go get' to 'git clone'.
Fixes #2828
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
| |
Elaborate on report sanity.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
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
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
|
|
|
|
|
| |
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
|
| |
|
|
| |
This way users don't have to overwrite qemu_args in their configs.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
At the moment only AMD64 is supported, change file names to emphasise
this.
Signed-off-by: Alexey Kardashevskiy <aik@linux.ibm.com>
|
| | |
|