| Commit message (Collapse) | Author | Age | Files | Lines |
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
probability coverage
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
| |
Static prefix sums have been replaced with a Fenwick tree.
In the current syzkaller, program priority was set based on a Signal
received by a single system call. This commit allows priority to be
changed dynamically, making it possible to maintain priority based on
Signals from all system calls.
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
|
| |
|
|
|
|
| |
Otherwise syz-ci will fail to build the project.
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Sergey Zotov <svzotov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
|
|
|
| |
Add hash of actual kernel commit to crash metainfo if available.
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
Signed-off-by: Sergey Zotov <svzotov@ispras.ru>
|
| |
|
|
|
|
|
| |
Fix corresponding test, remove incorrect tests
Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
|
|
|
| |
The timeout for "go test ..." can now be specified in the syz-ci
settings in the `SyzkallerBuildParams` dictionary under `test_timeout`.
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| | |
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Alexey Panov <apanov@astralinux.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Vladimir Telezhnikov <vtelezhnikov@astralinux.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Sergey Zotov <svzotov@ispras.ru>
|
| |
|
|
|
| |
Signed-off-by: Denis Efremov <efremov@ispras.ru>
Signed-off-by: SVZotov <svzotov@ispras.ru>
|
| |
|
|
|
|
|
|
|
| |
Close file descriptors in read_btf_vmlinux, find_vf_interface and
syz_usbip_server_init.
Otherwise sykaller fails when executor exeeds a limit for available fds.
Signed-off-by: Pavel Nikulshin <p.nikulshin@ispras.ru>
|
| |
|
|
|
|
|
| |
Due to a combination of circumstances, syz-ci may have failed to send a
termination signal to syz-manager, which can cause a system overload.
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
|
| |
|
|
| |
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
|
| |
|
|
|
|
|
| |
The build timeout can now be specified in the manager settings in the
‘build’ dictionary under ‘timeout’.
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
|
| |
|
|
|
|
|
|
|
|
|
| |
Save crashes and repros with corresponding kernel and syzkaller configs locally
in syz-manager even when they are published to syz-dashboard,
to be able to share the crashes with
Linux Verification Center (linuxtesting.org).
Signed-off-by: Grigory Bazilevich <g.bazilevich@ispras.ru>
Signed-off-by: Sergey Zotov <svzotov@ispras.ru>
Co-authored-by: Sergey Zotov <svzotov@ispras.ru>
|
| |
|
|
|
| |
The default dashboard namespace is called '/upstream', so let's make it
the same in the test.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
Currently we added custom code to kernel build action,
and few others to expose verbose errors from executed binaries (notably make).
But lots of other binary executions missing this logic,
e.g. for git failure we currently see unuseful:
failed to run ["git" "fetch" "--force" "--tags" exit status 128
Instead of adding more and more custom code to do the same,
remove the custom code and always add verbose output
in syz-agent and tools/syz-aflow.
|
| | |
|
| | |
|
| |
|
|
|
| |
dev_kvm_amd64: TDX_ATTR_* were renamed to TDX_TD_ATTR_*.
landlock: LANDLOCK_ACCESS_NET_*_UDP and LANDLOCK_SCOPE_PATHNAME_UNIX_SOCKET are no longer present.
|
| |
|
|
|
|
|
|
|
| |
Currently the query fails with:
API error 1 (datastore_v3: BAD_REQUEST): cannot get more than 1000 keys
in a single call back
Don't try to select more than 1000 bugs.
|
| |
|
|
|
|
|
|
|
| |
The tests fail on OpenBSD with:
expected: "bad expression: fatal: command line, 'bad expression (': Unmatched ( or \\("
actual : "bad expression: fatal: command line, 'bad expression (': parentheses not balanced"
Disable the tests on non-linux for now.
|
| |
|
|
|
| |
Requesting to return the program as one of the agent's outputs
enforces its structure and prevents LLM from using garbage formatting.
|
| |
|
|
|
|
|
| |
If we have duplicate names, then only one of the duplicates will be used at random.
Add a check that we don't have duplicate names.
Currently it's only "crash-reproducer" (both action and a tool).
Also ignore "set-results" tool, and all tools created in tests.
|
| |
|
|
|
|
|
|
|
|
|
| |
Previously, the parser only expected the '0' character to begin an integer
argument, which effectively meant it only handled hexadecimal formatting
(e.g., `0x...`) when parsing arguments.
This change modifies parseArgImpl() to route any starting digit ('0'-'9')
to the integer parsing logic. Since `strconv.ParseUint` already handles
base-10 parsing using the "0" base flag, this cleanly enables the parser
to natively deserialize decimal and octal arguments.
|
| |
|
|
| |
Fixes #6897
|
| |
|
|
|
|
|
| |
We were ignoring the workflows passed by the agent in the job poll
request in the context of restarting failed jobs.
Fix it and add test coverage.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Make Workflows be interleaved into Agents. This enables a more complete
data representation and enables a more precise tracking of the active
workflow types.
|
| |
|
|
|
|
|
|
|
|
|
| |
If an agent has taken a job and then, without finishing it, comes for
the next one, recreate that job.
If an agent has started working on a job, not finished it and completely
disappeared for more than 8 hours, give the job to another agent.
At the same time, don't look at the stale jobs in the automatic job
creation logic - let it focus on recreating explicitly failed jobs.
|
| |
|
|
| |
Update the timestamp on each job poll or each trajectory update.
|
| |
|
|
|
|
|
| |
For now, use a dashboard client name. In a prod deployment, that would
be a persistent name of the machine where the syz-agent is hosted.
This information be used later for restarting the aborted jobs.
|
| |
|
|
|
|
|
|
|
| |
There is no point in using Provide more than once,
and anywhere besides the first action of a flow.
So it's not really an action, but more of a flow property.
Add Flow.Consts field to handle this case better.
Also provide slightly less verbose syntax by using a map
instead of a struct, and add tests.
|