aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier
Commit message (Expand)AuthorAgeFilesLines
* syz-verifier: move Verifier to verifier.goTaras Madan2021-10-152-242/+259
* syz-verifier: rename verifier.go and Result to better reflect internalsTaras Madan2021-10-156-63/+61
* syz-verifier: add rpcserver.go and move all the related stuff thereTaras Madan2021-10-152-202/+214
* syz-verifier: remove verifier, io and os/signal from the stats dependenciesTaras Madan2021-10-153-73/+91
* syz-verifier: change logger to support verbosity (#2809)tarasmadan2021-10-121-6/+6
* syz-verifier: fix qemu vm leakage (#2804)tarasmadan2021-10-071-27/+35
* syz-verifier: fixes the crash of the app run w/o parameters (#2800)tarasmadan2021-10-061-1/+6
* pkg/report: separate reporter wrapper from OS-specific implementationsAleksandr Nogikh2021-08-061-1/+1
* pkg/rpctype, syz-runner, syz-verifier: add reruns to syz-verifier architectureMara Mihali2021-08-067-137/+197
* docs: add documentation for syz-verifierMara Mihali2021-08-051-0/+3
* syz-verifier: ensure Results are gathered and sent in orderMara Mihali2021-07-242-43/+63
* syz-verifier: change poolInfo.vmRunners from a slice to a mapMara Mihali2021-07-222-32/+26
* syz-verifier: include crashes in the results verificationMara Mihali2021-07-227-112/+180
* syz-verifier: modify mismatches calculationMara Mihali2021-07-221-2/+8
* syz-verifier: gather stats based on ReturnState not just ErrnoMara Mihali2021-07-227-50/+63
* syz-verifier: move all files to main packageMara Mihali2021-07-227-164/+148
* syz-verifier: introduce a ReturnState structureMara Mihali2021-07-224-54/+65
* syz-verifier/stats: change errno in test from 11 to 1Mara Mihali2021-07-211-7/+7
* pkg/instance, syz-runner, syz-verifier: add option to create a new environmen...Mara Mihali2021-07-191-1/+5
* syz-verifier: add errno descriptions in result reportsMara Mihali2021-07-193-8/+13
* syz-verifier/stats: add errno descriptions in global statsMara Mihali2021-07-192-6/+20
* syz-verifier: report the number of programs executed per minuteMara Mihali2021-07-194-4/+19
* syz-verifier/stats: order CallStats by percentage of mismatches out of call o...Mara Mihali2021-07-191-1/+1
* syz-verifier: only record states that produced mismatches in stats.CallStats....Mara Mihali2021-07-195-19/+18
* syz-verifier: add flag to specify stats output locationMara Mihali2021-07-191-1/+16
* syz-verifier: create startInstances functionMara Mihali2021-07-191-4/+10
* syz-verifier/stats: add the actual states to the outputMara Mihali2021-07-192-6/+25
* syz-verifier: move stats gathering in the Verify functionMara Mihali2021-07-195-75/+83
* syz-verifier/stats: keep track of kernel return statesMara Mihali2021-07-192-12/+16
* syz-verifier: use the stats packageMara Mihali2021-07-192-12/+116
* syz-verifier/verf: include the system call name in reportMara Mihali2021-07-192-4/+9
* syz-verifier/stats: create utility to gather statisticsMara Mihali2021-07-192-0/+185
* syz-verifier: use only system calls supported by all kernels and with no tran...maramihali2021-07-132-31/+295
* syz-verifier: account for corner cases and improve test coverage (#2661)maramihali2021-07-132-69/+198
* syz-verifier: improve readability of resultsMara Mihali2021-07-084-25/+57
* pkg/instance: added threaded and collide flagsMara Mihali2021-07-061-1/+1
* syz-verifier: add result processing functionalityMara Mihali2021-07-062-29/+155
* syz-verifier/verf: add report for mismatching resultsMara Mihali2021-07-062-71/+87
* syz-verifier: add the starting point of syz-verifierMara Mihali2021-06-302-0/+486
* syz-verifier/verf: add the first version of the VerifierMara Mihali2021-06-302-0/+131
generated by ggit (джигит) mrf-deployment (git 2.46.0) at 2026-03-11 20:52:36 +0000