| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
| | |
|
| |
|
|
|
|
| |
When net.ifnames is set to 1, syzkaller might not be able to connect
to the virtual machines. Add the corresponding recommendations to the
documentation as well as a note to the troubleshooting guide.
|
| |
|
|
|
|
|
|
| |
It is now impossible to create a Debian Wheezy image (at least in a way
proposed by the documentation).
Instead, demonstrate how to create a Debian Buster image, the latest
version of Debian as for now.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* all: add new typename dirname
The current way to check files under sysfs or proc is:
- define a string to represent each file
- open the file
- pass the fd to write / read / close
The issues above are:
- Need to know what file present on target device
- Need to write openat for each file
With dirname added, which will open one file
in the directory randomly and then pass the fd to
write/read/close.
* all: use typename glob to match filename
Fixes #481
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* syz-manager: add prometheus metrics
Add prometheus metrics client to syz-manager.
Expose metrics on a new port defined in mgrconfig.
Allows for prometheus to scrape metrics from syz-manager.
* syz-manager: expose metrics endpoint in http server
.gitignore : remove local .img path
* mgrconfig: remove unnecessary config option
* syz-manager: update stats to use gaugefunc
added docs for prometheus exported metrics
added more gaugefunc metrics
Signed-off-by: Palash Oswal <oswalpalash@gmail.com>
* syz-manager: minor changes for CI tests
added periods to comments and renamed go variables
Signed-off-by: Palash Oswal <oswalpalash@gmail.com>
* syz-manager: re-position prometheus counter declaration
docs updated with PR comments
Signed-off-by: Palash Oswal <oswalpalash@gmail.com>
|
| | |
|