News for hackers. Stuff that matters.

A comment on Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing – PyPy.

Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by planetis on Friday December 16, 2022 @04:15AM (#34012499)
I assume that the random generator produce structured output and not random garbage that's rejected most of the time, right?
[ Parent | on HN ]
Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by planetis on Friday December 16, 2022 @05:07AM (#34012808)
Downvoted for a question, people these days...
[ Parent | on HN ]
Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by cfbolztereick on Saturday December 17, 2022 @01:41PM (#34030764)
Yeah, the generated traces are 'sensible' by construction (they don't compute anything sensible, but they are well-formed).
[ Parent | on HN ]
Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by planetis on Monday December 19, 2022 @03:13AM (#34049709)
Thank you, makes a lot of sense. I was working on a structure aware fuzzer, and needed to know if there are even projects out there that don't use some form of grammar to produce output.
[ Parent | on HN ]