aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier
Commit message (Expand)AuthorAgeFilesLines
...
* syz-verifier: introduce a ReturnState structureMara Mihali2021-07-224-54/+65
* syz-verifier/stats: change errno in test from 11 to 1Mara Mihali2021-07-211-7/+7
* pkg/instance, syz-runner, syz-verifier: add option to create a new environmen...Mara Mihali2021-07-191-1/+5
* syz-verifier: add errno descriptions in result reportsMara Mihali2021-07-193-8/+13
* syz-verifier/stats: add errno descriptions in global statsMara Mihali2021-07-192-6/+20
* syz-verifier: report the number of programs executed per minuteMara Mihali2021-07-194-4/+19
* syz-verifier/stats: order CallStats by percentage of mismatches out of call o...Mara Mihali2021-07-191-1/+1
* syz-verifier: only record states that produced mismatches in stats.CallStats....Mara Mihali2021-07-195-19/+18
* syz-verifier: add flag to specify stats output locationMara Mihali2021-07-191-1/+16
* syz-verifier: create startInstances functionMara Mihali2021-07-191-4/+10
* syz-verifier/stats: add the actual states to the outputMara Mihali2021-07-192-6/+25
* syz-verifier: move stats gathering in the Verify functionMara Mihali2021-07-195-75/+83
* syz-verifier/stats: keep track of kernel return statesMara Mihali2021-07-192-12/+16
* syz-verifier: use the stats packageMara Mihali2021-07-192-12/+116
* syz-verifier/verf: include the system call name in reportMara Mihali2021-07-192-4/+9
* syz-verifier/stats: create utility to gather statisticsMara Mihali2021-07-192-0/+185
* syz-verifier: use only system calls supported by all kernels and with no tran...maramihali2021-07-132-31/+295
* syz-verifier: account for corner cases and improve test coverage (#2661)maramihali2021-07-132-69/+198
* syz-verifier: improve readability of resultsMara Mihali2021-07-084-25/+57
* pkg/instance: added threaded and collide flagsMara Mihali2021-07-061-1/+1
* syz-verifier: add result processing functionalityMara Mihali2021-07-062-29/+155
* syz-verifier/verf: add report for mismatching resultsMara Mihali2021-07-062-71/+87
* syz-verifier: add the starting point of syz-verifierMara Mihali2021-06-302-0/+486
* syz-verifier/verf: add the first version of the VerifierMara Mihali2021-06-302-0/+131
generated by ggit (джигит) mrf-deployment (git 2.46.0) at 2026-03-11 17:47:57 +0000