| 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 stats access, remove races | Taras Madan | 2022-03-31 | 1 | -8/+19 |
| | | | | | Removed atomic operations. Added object level mutex. | ||||
| * | syz-verifier: improve statistics (#3038) | Taras Madan | 2022-03-22 | 1 | -1/+1 |
| | | | | | s/TotalMismatches/TotalCallMismatches/ for readability. Add ExecErrorProgs to count failures. | ||||
| * | syz-verifier: fix syscalls API mapping in test (#3037) | Taras Madan | 2022-03-22 | 1 | -2/+2 |
| | | |||||
| * | syz-verifier: redesigned the analysis program generation and analysis flow ↵ | Taras Madan | 2022-03-22 | 1 | -0/+279 |
| | | | | | | | | | | (#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 | -96/+0 |
| | | |||||
| * | pkg/rpctype, syz-runner, syz-verifier: add reruns to syz-verifier architecture | Mara Mihali | 2021-08-06 | 1 | -49/+2 |
| | | | | | | | | 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 | -3/+64 |
| | | |||||
| * | syz-verifier: gather stats based on ReturnState not just Errno | Mara Mihali | 2021-07-22 | 1 | -6/+9 |
| | | |||||
| * | syz-verifier: move all files to main package | Mara Mihali | 2021-07-22 | 1 | -0/+79 |
 |
index : syz | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiffstats |