aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier/verifier.go
Commit message (Expand)AuthorAgeFilesLines
* all: remove loop variables scopingTaras Madan2025-02-171-1/+0
* syz-verifier: use ignore flag because go mod tidy knows itTaras Madan2024-07-021-1/+1
* pkg/ipc: remove ProgInfoDmitry Vyukov2024-05-211-0/+4
* vm: combine Run and MonitorExecutionDmitry Vyukov2024-04-111-4/+1
* go.mod, vendor: update (#3358)Taras Madan2022-09-051-1/+1
* syz-verifier: log only the first mismatch (#3055)Taras Madan2022-04-041-0/+4
* syz-verifier: simplify Stats APITaras Madan2022-04-011-2/+1
* syz-verifier: fix stats access, remove racesTaras Madan2022-03-311-12/+11
* syz-verifier: add exectask.go tests, fix racesTaras Madan2022-03-311-4/+7
* syz-verifier: support multiple VMs (#3040)Taras Madan2022-03-221-10/+11
* syz-verifier: improve statistics (#3038)Taras Madan2022-03-221-2/+3
* syz-verifier: redesigned the analysis program generation and analysis flow (#...Taras Madan2022-03-221-62/+195
* syz-verifier: don't use -collide in the runner (#3032)Taras Madan2022-03-161-1/+1
* syz-verifier: move select{} to main (#2858)Taras Madan2021-11-031-2/+0
* syz-verifier: move Verifier to verifier.goTaras Madan2021-10-151-0/+259
* syz-verifier: rename verifier.go and Result to better reflect internalsTaras Madan2021-10-151-139/+0
* pkg/rpctype, syz-runner, syz-verifier: add reruns to syz-verifier architectureMara Mihali2021-08-061-14/+24
* syz-verifier: include crashes in the results verificationMara Mihali2021-07-221-6/+19
* syz-verifier: modify mismatches calculationMara Mihali2021-07-221-2/+8
* syz-verifier: gather stats based on ReturnState not just ErrnoMara Mihali2021-07-221-3/+19
* syz-verifier: move all files to main packageMara Mihali2021-07-221-0/+94
generated by ggit (джигит) mrf-deployment (git 2.46.0) at 2026-04-05 07:25:31 +0000