Hacker News Reader

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.

View on HN

Is 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/

Sorry 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?

If 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

Feel free to contact us by email in case you need.

Something like https://github.com/google/syzkaller?

Wow, they found 458 bugs in the linux kernel: https://github.com/google/syzkaller/blob/master/docs/found_b...

Reply on news.ycombinator.com