| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
| |
Commit d34313c changed the sourcedir variable in the syz-extract command but did not adjust the text beneath it.
|
| |
|
|
|
|
| |
This is no longer a standalone tool, but rather a syz-manager mode.
Closes #4970.
|
| |
|
|
|
|
|
| |
Akaros support is unused, it was shutdown on syzbot for a while,
the akaros development seems to be frozen for years as well.
We have a bunch of hacks for Akaros since it supported
only super old gcc and haven't supported Go. Remove it.
|
| |
|
|
| |
Fix various typos within the documentation directory.
|
| | |
|
| |
|
|
| |
Fixing typo "does not contain" instead of "does not contains"
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
Synchronize with commit 2bd9619f7621 ("pkg/runtest: check arch
requirement early"), which removes TestSysTests.
Signed-off-by: Mickaël Salaün <mic@linux.microsoft.com>
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
This reduces number of const files/lines from 1288/96599 to 158/11603.
Const files are generated on next-20200813.
Update #1983
|
| | |
|
| |
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
| |
* docs: add explanation of flags type
* Apply suggestions from code review
Co-authored-by: Marco Elver <marco.elver@gmail.com>
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
- Give some extra clarifications and examples about resources in syscall
descriptions.
- More details about how to use the "enable_syscalls" option.
- Mention pseudo-syscalls in the general syscall description doc file.
|
| |
|
|
|
| |
Detect absolute links to our repo.
These are not checked and long and inconsistent with majority of links.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Checking in the generated descriptions files makes few things simpler,
but causes pain for pull requests: (1) PRs that touch descriptions
_always_ conflict, (2) PRs are large and harder to review,
(3) people sometimes forget to add auto-generated files.
The proposed way does not require us to hardcode lots of dependencies
in the Makefile (which is nice) and seem to work.
Let's see how it works.
The main contributor-visible consequence is that the auto-generated
files do not need to be checked-in now.
Credit for figuring the Makefile magic goes to @melver.
Fixes #1291
|
| |
|
|
|
|
|
|
|
| |
Add basic stuff to enable MIPS64ELR2 target:
- build
- make extract
- make generate
- qemu execution
- system call parsing from /proc/kallsyms
|
| |
|
|
| |
Add detailed instructions to run syz-extract
|
| |
|
|
| |
Add suggestions for running make install_prerequisites.
|
| |
|
| |
Clarify what tree should be used for make extract for Linux.
|
| |
|
|
|
| |
Clarify that 'make generate' should update syscall description
revision.
|
| |
|
|
|
| |
We now don't return len from read/write syscalls (not needed for anything)
and don't need an mmap for data space.
Reflect this in the docs.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Extend doc on descriptions, const generation process,
add more links to internals, explain programs, etc.
Clarify that all generated files are checked in.
|
| |
|
|
|
| |
Prefix file names of descriptions of /dev/* files with dev_.
And give some of them more appropriate names.
|
| |
|
| |
Clarify that running `make clean` each time is not necessary.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
|
| |
The tool can be found inside tools/syz-headerparser. Details on how to use
headerparser can be found inside docs/headerparser_usage.md.
|
| | |
|
| | |
|
| |
|