aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier/exectask.go
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | Switch to flatrpc.ProgInfo. Note: this disables syz-runtest and syz-verifier.
* syz-verifier: fix a typo in commentsAKSUM2024-03-141-1/+1
|
* syz-verifier: add exectask.go tests, fix racesTaras Madan2022-03-311-19/+38
|
* Revert "syz-verifier/exectask.go: add tests" (#3050)Taras Madan2022-03-301-13/+1
| | | | This reverts commit 42718dd659525414aa0bf2794688ac94a32f7764. Original PR had a race.
* syz-verifier/exectask.go: add testsTaras Madan2022-03-301-1/+13
|
* syz-verifier: redesigned the analysis program generation and analysis flow ↵Taras Madan2022-03-221-0/+141
(#2908) Program verification logic is located in one function now. VMs fetch programs from priority queues, not from the generator. VMs operate the tasks, not programs now. For the crashed VM - return error for every program in the queue *fixed some road errors