JIT 최적화기 버그 찾기

카테고리

Empty

Summary

이 글에서는 SMT 솔버와 퍼징을 사용하여 JIT 최적화기에서 발생할 수 있는 버그를 찾는 방법에 대해 설명합니다. JIT(Just-In-Time) 컴파일러는 실행 시간에 코드를 최적화하는 중요한 역할을 하며, 이 과정에서 발생할 수 있는 오류를 식별하는 것이 중요합니다. SMT 솔버와 퍼징 기법을 결합하여 이러한 버그를 효과적으로 탐지할 수 있는 방법을 제시합니다.

•

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

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing

In this blog post I want to describe a recent bug finding technique that I've added to the PyPy JIT testing infrastructure. This technique uses the Z3 theorem prover to find bugs in the optimizer of P

Content

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing - https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing

In this blog post I want to describe a recent bug finding technique that I've added to the PyPy JIT testing infrastructure. This technique uses the Z3 theorem prover to find bugs in the optimizer of P

Made with Slashpage