| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | all: remove loop variables scoping | Taras Madan | 2025-02-17 | 1 | -1/+0 |
| | | |||||
| * | 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. | ||||
| * | tools/syz-linter: check t.Logf/Errorf/Fatalf messages | Dmitry Vyukov | 2024-04-17 | 1 | -1/+1 |
| | | | | | | Fix checking of Logf, it has string in 0-th arg. Add checking of t.Errorf/Fatalf. | ||||
| * | syz-verifier/execresult_test.go: fix loop variable misuse | Taras Madan | 2023-04-27 | 1 | -2/+28 |
| | | |||||
| * | syz-verifier: redesigned the analysis program generation and analysis flow ↵ | Taras Madan | 2022-03-22 | 1 | -3/+59 |
| | | | | | | | | | | (#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/+96 |
 |
index : syz | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiffstats |