aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier/main_test.go
Commit message (Expand)AuthorAgeFilesLines
* pkg/ipc: remove ProgInfoDmitry Vyukov2024-05-211-3/+0
* syz-verifier: redesigned the analysis program generation and analysis flow (#...Taras Madan2022-03-221-552/+0
* syz-verifier: fix testsDmitry Vyukov2022-01-111-3/+3
* syz-verifier: add monitoring api (#2869)Taras Madan2021-11-091-0/+1
* syz-verifier: rename verifier.go and Result to better reflect internalsTaras Madan2021-10-151-31/+31
* pkg/rpctype, syz-runner, syz-verifier: add reruns to syz-verifier architectureMara Mihali2021-08-061-31/+47
* syz-verifier: ensure Results are gathered and sent in orderMara Mihali2021-07-241-35/+56
* syz-verifier: change poolInfo.vmRunners from a slice to a mapMara Mihali2021-07-221-16/+15
* syz-verifier: include crashes in the results verificationMara Mihali2021-07-221-60/+41
* syz-verifier: gather stats based on ReturnState not just ErrnoMara Mihali2021-07-221-12/+12
* syz-verifier: move all files to main packageMara Mihali2021-07-221-109/+31
* syz-verifier: introduce a ReturnState structureMara Mihali2021-07-221-13/+20
* syz-verifier: add errno descriptions in result reportsMara Mihali2021-07-191-6/+6
* syz-verifier: report the number of programs executed per minuteMara Mihali2021-07-191-0/+4
* syz-verifier: only record states that produced mismatches in stats.CallStats....Mara Mihali2021-07-191-10/+10
* syz-verifier: move stats gathering in the Verify functionMara Mihali2021-07-191-53/+25
* syz-verifier: use the stats packageMara Mihali2021-07-191-9/+103
* syz-verifier: use only system calls supported by all kernels and with no tran...maramihali2021-07-131-1/+182
* syz-verifier: account for corner cases and improve test coverage (#2661)maramihali2021-07-131-65/+174
* syz-verifier: improve readability of resultsMara Mihali2021-07-081-7/+31
* syz-verifier: add result processing functionalityMara Mihali2021-07-061-2/+71
* syz-verifier: add the starting point of syz-verifierMara Mihali2021-06-301-0/+155