4 ms·
It's always nice to see fixes of problems found with improved testing. It would be nice to see something like Haskells QuickCheck rigorously applied on the majo
by hultner 9y ago
It's always nice to see fixes of problems found with improved testing. It would be nice to see something like Haskells QuickCheck rigorously applied on the majority of the kernel functions/interfaces.
- galapago 9y agoIs there a Haskell type of Linux syscalls? If it is the case, we can automatically derive Haskell code to generate an arbitrary list of syscalls. (disclamer: I'm one of the QuickFuzz [0] developers and I'm very interested in testing for this kind of bugs) [0]: http://quickfuzz.org/ http://quickfuzz.org/
- pdimitar 9y agoSorry for a bit of off-topic but can you point me at a good tutorial on what must be done exactly so I can use your software to test mine?
- galapago 9y agoIf you already know Haskell, you can take a look to our article explaining how it works: https://labdcc.fceia.unr.edu.ar/~amista/article.pdf https://labdcc.fceia.unr.edu.ar/~amista/article.pdf Feel free to contact us by email in case you need.
- aleksi 9y agoSomething like https://github.com/google/syzkaller https://github.com/google/syzkaller?
- mastax 9y agoWow, they found 458 bugs in the linux kernel: https://github.com/google/syzkaller/blob/master/docs/found_bugs.md https://github.com/google/syzkaller/blob/master/docs/found_b...