| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | syz-verifier: use ignore flag because go mod tidy knows it | Taras Madan | 2024-07-02 | 1 | -1/+1 |
| | | |||||
| * | pkg/ipc: remove ProgInfo | Dmitry Vyukov | 2024-05-21 | 1 | -0/+4 |
| | | | | | | | Switch to flatrpc.ProgInfo. Note: this disables syz-runtest and syz-verifier. | ||||
| * | syz-verifier: fix a typo in comments | AKSUM | 2024-03-14 | 1 | -1/+1 |
| | | |||||
| * | syz-verifier: add exectask.go tests, fix races | Taras Madan | 2022-03-31 | 1 | -19/+38 |
| | | |||||
| * | Revert "syz-verifier/exectask.go: add tests" (#3050) | Taras Madan | 2022-03-30 | 1 | -13/+1 |
| | | | | | This reverts commit 42718dd659525414aa0bf2794688ac94a32f7764. Original PR had a race. | ||||
| * | syz-verifier/exectask.go: add tests | Taras Madan | 2022-03-30 | 1 | -1/+13 |
| | | |||||
| * | syz-verifier: redesigned the analysis program generation and analysis flow ↵ | Taras Madan | 2022-03-22 | 1 | -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 | |||||
