News for hackers. Stuff that matters.

A comment on FuzzOS – an operating system which is designed specifically for fuzzing. Parent comment

Re:FuzzOS – an operating system which is designed specifical... by zomglings on Tuesday December 08, 2020 @09:21AM (#25345443)
I think you're right, I was mixing two concepts and my question wasn't really about determinism.

Writing a specialized OS suggests to me that someone is very focused on... the best way I can describe it is cutting a fat trajectory through the input space. I am curious if anyone is spending their effort on sparser (but more intelligent) sampling of the input space instead.

[ Parent | on HN ]
Re:FuzzOS – an operating system which is designed specifical... by feanaro on Tuesday December 08, 2020 @09:58AM (#25345981)
Yes, there's a lot of work being done on more intelligent fuzzing. To throw some terms into the mix, there's coverage-guided fuzzing (which is now an old technique), concolic testing (which combines concrete execution with symbolic execution in order to reach new branches in a targetted way) and grammar fuzzers (which generate valid inputs according to a grammar).

These are not really mutually exclusive with the type of work gamozolabs is doing because even with hyperintelligent input generation, you still ideally want raw speed.

[ Parent | on HN ]