search

pypy / pypy.org

Sources for website at https://www.pypy.org
33 stars 11 forks source link

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy #84

Closed utterances-bot closed 1 year ago

utterances-bot commented 1 year ago

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy

https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html

BarrensZeppelin commented 1 year ago

Thanks for the article, it was a nice read. 🙂

lorenzleutgeb commented 1 year ago

Sweet! You mention CVC4. Better aim for CVC5 right away!

cfbolz commented 1 year ago

@lorenzleutgeb thanks!

amacfie commented 1 year ago

See also https://github.com/pschanely/CrossHair/