News for hackers. Stuff that matters.

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

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 ]