aboutsummaryrefslogtreecommitdiffstats
path: root/pkg/instance/instance.go
Commit message (Collapse)AuthorAgeFilesLines
* pkg/instance: explicitly specify optional fuzzer argumentsAleksandr Nogikh2022-04-061-12/+17
| | | | | | | | Otherwise we get problems while testing patches for older syzkaller versions, which didn't support optional arguments. Adjust tests so that problems with how OldFuzzerCmd handles such arguments could be seen.
* all: collect raw coverageAleksandr Nogikh2022-03-281-4/+10
| | | | | | | | | Raw coverage might be important when e.g. analysing the origins of out-of-place coverage in coverage reports or understanding why the fuzzer could not reach deeper code. If "raw_cover" is set to true, syzkaller will remember unsorted and unduplicated coverage (PCs) for each its corpus program.
* pkg/instance: refactor FuzzerCmd()Aleksandr Nogikh2022-03-281-13/+31
| | | | | | The method already has too many arguments, which complicates the further addition of new features. Introduce FuzzerCmdArgs structure to overcome the problem.
* pkg/instance: support older syzkaller revisionsAleksandr Nogikh2022-03-171-3/+6
| | | | | | | | | | | | | | | | | | | | | Now we use go1.16+, but sometimes syz-ci still has to compile and run old syzkaller revisions, which were not meant to be compiled with modern Go. In particular, this leads to the following errors: syzkaller build failed: failed to run ["make" "target"]: exit status 2 tools/syz-make/make.go:14:2: no required module provides package github.com/google/syzkaller/pkg/osutil: go.mod file not found in current directory or any parent directory; see 'go help modules' tools/syz-make/make.go:15:2: no required module provides package github.com/google/syzkaller/sys/targets: go.mod file not found in current directory or any parent directory; see 'go help modules' Makefile:39: *** syz-make failed. Stop. Fix this by adding GO111MODULE=auto to the environment variables. Reported-by: Taylor R Campbell <riastradh@netbsd.org>
* syz-verifier: don't use -collide in the runner (#3032)Taras Madan2022-03-161-2/+2
|
* all: refactor fault injection into call propsAleksandr Nogikh2021-09-221-4/+10
| | | | | | | | | | | | Now that call properties mechanism is implemented, we can refactor fault injection. Unfortunately, it is impossible to remove all traces of the previous apprach. In reprolist and while performing syz-ci jobs, syzkaller still needs to parse the old format. Remove the old prog options-based approach whenever possible and replace it with the use of call properties.
* all: use entire log to detect reports to suppressAleksandr Nogikh2021-08-061-1/+1
| | | | | | | | | | Currently syzkaller only applies its suppressions regexps to the oops message itself and a small number of its preceding bytes. A case has been reported (#2685), where it was important to analyse a bigger portion of output data. Pass the whole log and a starting position to the `Report.Parse` method separately instead of passing an already cut log there. Adjust use cases of the `Report.Parse` method to handle its new behavior.
* pkg/report: separate reporter wrapper from OS-specific implementationsAleksandr Nogikh2021-08-061-1/+1
| | | | | | | | | | | | | Currently a number of report post-processing activities are implemented as a decorator over the interface that defines OS-specific implementations. Following exactly the same interface is too restrictive in this case as adding extra parameters to the post-processing forces the developer to adjust all implementations thay may not need these parameters at all. Untie the wrapper from the Reporter interface. Use a package-private reporterImpl interface for the OS-specific implementations, while having an exported Reporter structure. Make sure that Reporter is stored and passed as a pointer.
* all: capture compiler id during the build processAleksandr Nogikh2021-07-201-6/+6
| | | | | | | | | Default compilers are specified in the OS- and platform-dependent logic. It is more convenient to extract info about them during the kernel build itself, rather than during the manager object initialization. Apply the necessary changes throughout the code that is involved in building the kernels and processing information about this process.
* all: remove pointers to pkg.build.ParamsAleksandr Nogikh2021-07-201-1/+1
| | | | | | | | | | The struct pkg.build.Params is currently primarily passed on as a pointer, which leads make it hard to see the places, where it can (and should) actually be modified. Make it all more explicit by only passing pointer references to objects of this type when the object is expected to be modified by the function. In fact, at this moment there are no such situations.
* pkg/instance, syz-runner, syz-verifier: add option to create a new ↵Mara Mihali2021-07-191-3/+2
| | | | environment for each program
* pkg/instance: added threaded and collide flagsMara Mihali2021-07-061-2/+4
| | | | These can be used to disable threaded execution and collision mode for program's system calls.
* pkg/instance: add RunnerCmdMara Mihali2021-06-301-0/+4
| | | | This function creates the command for starting a runner with the provided command line arguments.
* all: make timeouts configurableDmitry Vyukov2020-12-281-34/+63
| | | | | | Add sys/targets.Timeouts struct that parametrizes timeouts throughout the system. The struct allows to control syscall/program/no output timeouts for OS/arch/VM/etc. See comment on the struct for more details.
* pkg/mgrconfig: remove Syz prefix from fieldsDmitry Vyukov2020-11-301-14/+14
| | | | | | | Everything in syzkaller is syz-something, it's pointless to add syz prefix to everything and unnecessary increases clutter. Remove the prefix. Also, rename ExecutorCmd in target to ExecutorBin to make it consistent with mgrconfig and ExecprogBin/FuzzerBin.
* pkg/mgrconfig: add prog&sys.targets targets to ConfigDmitry Vyukov2020-11-301-8/+3
| | | | | | These are widely used with the config as the refactoring shows. This removes a bunch of unnecessary code. Also fixes a number of bugs where we confused Arch with VMArch.
* sys/targets: add OS/Arch name constsDmitry Vyukov2020-10-261-2/+2
| | | | | | | | | | | | We use strings to identify OS/Arch. These strings are duplicated throughout the code base massively. golangci-lint points to possiblity of typos and duplication. We already had to define these names in pkg/csource and disable checking for prog package. A future change triggers such warnings in another package. Add OS/Arch name consts to sys/targets so that they can be used to refer to OS/Arch. Use the consts everywhere.
* pkg/bisect: add ccache optionJouni Hogander2020-09-211-2/+3
| | | | | | Add option to use ccache in kernel builds. Signed-off-by: Jouni Hogander <jouni.hoegander@partner.bmw.de>
* pkg/instance: extend debug output on syzkaller make errorDmitry Vyukov2020-05-251-1/+7
| | | | | For debugging of: https://groups.google.com/forum/#!topic/syzkaller-bugs/2lgvlHd8t1c
* pkg/report: add Report.SkipPosDmitry Vyukov2020-05-131-6/+1
| | | | | SkipPos is what pkg/instance needs, but also will be needed for ParseAll.
* pkg/instance: Use syz or c source file when testingJouni Hogander2020-04-291-37/+39
| | | | | | Currenlty only syz file is taken into account when testing. Use also c source file if available. Still use syz as a "main" reproducer.
* syz/targets: add SyzExecutorCmd flagMarco Vanotti2019-12-091-8/+20
| | | | | | | | | | | | | This commit adds a new attribute to syzkaller targets that tells syzkaller how to invoke the syz-executor command. Some systems, like Fuchsia, are now building syz-executor as part of the build, and there is no need to copy it over, or to run it from `/tmp`. In fact, that might stop working at some time in the future in Fuchsia. All places that used to copy syz-executor into the target machine will now check for the SyzExecutorCmd flag, and won't copy it if the flag is set.
* sys/targets: add HostFuzzer flagDmitry Vyukov2019-11-161-5/+4
| | | | | | | Move HostFuzzer from vm/qemu. It's needed in a number of other packages and strictly saying is not specific to qemu (it just happened that both fuchsia and akaros only support qemu).
* pkg/bisect: detect wrong bisectionsDmitry Vyukov2019-11-071-8/+9
| | | | | | | | Detect bisection to merge commits and to commits that don't affect kernel binary (comments, other arches, whitespaces, etc). Such bisections are not reported in emails (but shown on web). Update #1271
* pkg/build: add build signaturesDmitry Vyukov2019-11-061-1/+1
| | | | | | | Add optional build signature for images, currently only implemented for linux. This can be used in bisection process to detect changes that does not affect kernel. Update #1271
* pkg/build: refactor Image function argumentsDmitry Vyukov2019-11-061-8/+17
| | | | | | | Image takes too many arguments, so we need to do lots of forwarding, adding new argumnets is painful and most OSes are not interested in lots of arguments. Combine all arguments into a params struct.
* pkg/bisect: add initial testing support for cause bisectionZubin Mithra2019-10-221-6/+12
| | | | | | | | | | | | | | | | | | | | | | | | (note: incomplete change) Refactor existing code as follows: * Move reusable test utility functions from git_repo_test.go to pkg/vcs/test_util.go and make them exported. * Split Run() into Run()+runImpl(). * Change type of bisect.go:env.inst to `instance.BuilderTester`. Change usage inside syz-testbuild/testbuild.go accordingly. * Move most of linux.PreviousReleaseTags() into vcs/git.go as git.previousReleaseTags(). * Allow build.CompilerIdentity to be mocked. Introduce the following changes: * instance.BuilderTester is an interface with methods BuildSyzkaller() BuildKernel() Test() NewEnv() now returns this interface. * type testEnv implements instance.BuilderTester. * type testBuilder implements builder interface. Add a entry into table inside pkg/build/build.go:getBuilder() to return testBuilder object.
* all: convert Fuchsia to use "host fuzzing" modeMatthew Dempsky2019-08-271-2/+4
| | | | | | | | | Go support is not a priority for Fuchsia at the moment, so it's preferable to use host fuzzing mode for Fuchsia like currently done for Akaros. This commit basically looks for all the places where there was special logic for OS=="akaros" and extends the same logic for OS=="fuchsia".
* pkg/log: rename -v to -vvDmitry Vyukov2019-07-161-4/+12
| | | | | To avoid conflicts with programs that import both syzkaller packages and github.com/golang/glog which also defines -v flag.
* pkg/report: add Type/Frame to ReportDmitry Vyukov2019-05-201-1/+1
| | | | | | In several places we do special handling for some crash types. Currently we compare report title with magic strings, which is error-prone. Add explicit Type to reports.
* pkg/instance: fix types in OverrideVMCountDmitry Vyukov2019-05-181-2/+2
| | | | | vmConfig value is interface{}, not string. So compare with nil and assign int.
* pkg/instance: break the line to appease linter (#1173)Greg Steuck2019-05-121-1/+2
| | | | | | * pkg/instance: break the line to appease linter * fix up format
* syz-ci: don't assume kernel config is called .configDmitry Vyukov2019-05-121-3/+10
| | | | | .config is linux-ism. We have a convention that kernel config is copied to kernel.config file. Use it.
* syz-ci: always use 10 VMs for bisectionDmitry Vyukov2019-05-101-0/+17
| | | | | If a manager has less then 10 VMs override it to 10 for bisection. If a manager has only 1 VM, bisection won't end well.
* vm/gce: allow non-preemptible VMsDmitry Vyukov2019-03-281-25/+19
| | | | | | | | | We are seeing some flakes during bisection and image testing. Hard to tell what's the root cause because they are episodic. But using non-preemptible VMs for bisection and image testing looks good on all fronts. Update #501
* pkg/csource: allow to ignore warnings during buildDmitry Vyukov2019-03-211-1/+1
| | | | | | | | | | | | | | | Running bisection using an older repro failed with: <stdin>: In function ‘syz_mount_image.constprop’: <stdin>:298:3: error: argument 1 null where non-null expected [-Werror=nonnull] In file included from <stdin>:26:0: /usr/include/x86_64-linux-gnu/sys/stat.h:320:12: note: in a call to function ‘mkdir’ declared here extern int mkdir (const char *__path, __mode_t __mode) Let's be safe and ignore warnings during repro/bisect. Everything that runs during tests still has all warnings. Update #501
* pkg/instance: fix boot error detectionDmitry Vyukov2019-03-171-1/+6
| | | | | | | Currently we truncate output up to rep.EndPos after unexpected reboot. But report sets EndPos to the _last_ report in output, so if there are any other errors they are all skipped after truncation to EndPos. Truncate just one line instead.
* pkg/instance: clean up temp fileDmitry Vyukov2019-03-171-0/+1
|
* pkg/instance: use -fpermissive -w when building old syzkallerDmitry Vyukov2019-03-171-0/+5
| | | | | | | | | Since we can be building very old revisions for bisection here, make the build as permissive as possible. Newer compilers tend to produce more warnings also kernel headers may be broken, e.g.: ebtables.h:197:19: error: invalid conversion from ‘void*’ to ‘ebt_entry_target*’ Update #501
* pkg/instance: use gmake on FreeBSD as on OpenBSDEd Maste2019-02-261-1/+1
|
* pkg/instance: test coverage during instance testingDmitry Vyukov2019-02-131-1/+1
| | | | | | Currently we always pass cover=false during instance testing and as the result covereage is not tested. This can result in broken images. Pass the actual value of coverage for testing.
* vm: allow fine-grained control over program exit conditionsDmitry Vyukov2018-12-241-3/+4
| | | | | | | | | Currently we only support canExit flag. However there are actually 3 separate conditions: - program can exit normally - program can timeout (e.g. fuzzer test or runtest can't) - program can exit with error (e.g. C test can) Allow to specify these 3 conditions separately.
* pkg/instance: make kernel reboot detection portableDmitry Vyukov2018-12-161-11/+9
| | | | The current code is linux specific, generalize it to other OSes.
* syz-ci: use gmake instead of make on openbsdDmitry Vyukov2018-09-131-1/+9
| | | | Update #712
* pkg/instance: support injected boot for vmmDmitry Vyukov2018-09-111-8/+8
| | | | | | | If pkg/build produces a kernel, inject it into vmm config too. This will allow continuous build with vmm VM type. Update #712
* syz-ci: de-hardcode list of VMs that support overcommitDmitry Vyukov2018-09-111-4/+2
| | | | | | | | We currently have this list in multiple places (somewhat diverged). Specify this "overcommit" property in VM implementations. In particular, we also want to allow overcommit for "vmm" type. Update #712
* pkg/instance: fix job testingDmitry Vyukov2018-08-291-2/+6
| | | | | New FuzzerCmd generates flags that can't be parsed by an old fuzzer. Fix that and add a test.
* tools/syz-runtest: add tool for program unit testingDmitry Vyukov2018-08-031-4/+4
| | | | | | | | | | | The tool is run as: $ syz-runtest -config manager.config This runs all programs from sys/*/test/* in different modes on actual VMs and checks results. Fixes #603
* pkg/mgrconfig: move from syz-manager/mgrconfigDmitry Vyukov2018-08-021-1/+1
| | | | | | | | mgrconfig was used only by syz-manager initially, but now it's used by a dozen of packages and it's weird to import from under a binary dir. pkg/ is much more reasonable dir for a widely used helper package.
* pkg/instance: pass -os to execprog/fuzzer only for akarosDmitry Vyukov2018-07-061-6/+38
| | | | | | Only akaros needs OS, because the rest assume host OS. But speciying OS for all OSes breaks patch testing on syzbot because old execprog does not have os flag.