| 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: simplify Stats API | Taras Madan | 2022-04-01 | 1 | -6/+7 |
| | | |||||
| * | syz-verifier: fix stats access, remove races | Taras Madan | 2022-03-31 | 1 | -58/+158 |
| | | | | | Removed atomic operations. Added object level mutex. | ||||
| * | syz-verifier: improve statistics (#3038) | Taras Madan | 2022-03-22 | 1 | -9/+10 |
| | | | | | s/TotalMismatches/TotalCallMismatches/ for readability. Add ExecErrorProgs to count failures. | ||||
| * | syz-verifier: use int64 instead of int for statistics (#2924) | Taras Madan | 2021-12-15 | 1 | -9/+9 |
| | | | | | | Currently we use int to aggregate statistics. Counters update require the lock() operation. Lets relax it and move to int64 + atomic.AddInt64(). | ||||
| * | syz-verifier: add monitoring api (#2869) | Taras Madan | 2021-11-09 | 1 | -7/+9 |
| | | |||||
| * | syz-verifier: remove verifier, io and os/signal from the stats dependencies | Taras Madan | 2021-10-15 | 1 | -61/+49 |
| | | |||||
| * | pkg/rpctype, syz-runner, syz-verifier: add reruns to syz-verifier architecture | Mara Mihali | 2021-08-06 | 1 | -5/+11 |
| | | | | | | | | When a mismatch is found in the results returned for a program, the program will be rerun on all the kernels to ensure the mismatch is not flaky (i.e. it didn't occur because of some background activity or external state and will always be returned when running the program). If the same mismatch occurs in all reruns, syz-verifier creates a report for the program, otherwise it discards the program as being flaky | ||||
| * | syz-verifier: include crashes in the results verification | Mara Mihali | 2021-07-22 | 1 | -11/+4 |
| | | |||||
| * | syz-verifier: gather stats based on ReturnState not just Errno | Mara Mihali | 2021-07-22 | 1 | -11/+10 |
| | | |||||
| * | syz-verifier: move all files to main package | Mara Mihali | 2021-07-22 | 1 | -0/+145 |
