| 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: redesigned the analysis program generation and analysis flow ↵ | Taras Madan | 2022-03-22 | 1 | -32/+34 |
| | | | | | | | | | | (#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 | ||||
| * | syz-verifier: rename verifier.go and Result to better reflect internals | Taras Madan | 2021-10-15 | 1 | -0/+139 |
