Ph
ph4nt0m
Feeds
고랭 패키지 퍼징 튜토리얼
리눅스 커널의 eBPF JIT 버그를 위한 퍼징
Untitled
NYX: 그레이박스 하이퍼바이저 퍼징
텔레그램 링크 공유
파이어폭스 취약점 연구
퍼징 논문 목록
마이크로소프트의 새로운 REST API 퍼저 출시
EkoParty 고급 퍼징 워크숍 자료
퍼징 학습 할인
웹어셈블리 리버싱 및 동적 분석 과정 출시
브라우저 취약점 연구를 위한 흥미로운 자료
Qiling 프레임워크 소개
HITBCyberWeek 사이버 주간 자료
스페인어 비디오 추천
크롬 최적화에 대한 멋진 포스트
윈도우에서 퍼징하기
구글의 새로운 파이썬 퍼저
Adobe Reader와 Frida로 계측하기
모의 해킹 도구에 대한 좋은 블로그 포스트
모의 해킹 도구에 대한 좋은 블로그 포스트
퍼징 학습 할인
EkoParty 고급 퍼징 워크숍 자료
스페인어 비디오 추천
Adobe Reader와 Frida로 계측하기
윈도우에서 퍼징하기
파이어폭스 취약점 연구
Qiling 프레임워크 소개
마이크로소프트의 새로운 REST API 퍼저 출시
크롬 최적화에 대한 멋진 포스트
퍼징 논문 목록
브라우저 취약점 연구를 위한 흥미로운 자료
Untitled
NYX: 그레이박스 하이퍼바이저 퍼징
리눅스 커널의 eBPF JIT 버그를 위한 퍼징
고랭 패키지 퍼징 튜토리얼
HITBCyberWeek 사이버 주간 자료
텔레그램 링크 공유
웹어셈블리 리버싱 및 동적 분석 과정 출시
구글의 새로운 파이썬 퍼저
리눅스 커널의 eBPF JIT 버그를 위한 퍼징
EkoParty 고급 퍼징 워크숍 자료
브라우저 취약점 연구를 위한 흥미로운 자료
스페인어 비디오 추천
Untitled
모의 해킹 도구에 대한 좋은 블로그 포스트
Qiling 프레임워크 소개
파이어폭스 취약점 연구
퍼징 학습 할인
고랭 패키지 퍼징 튜토리얼
텔레그램 링크 공유
NYX: 그레이박스 하이퍼바이저 퍼징
Adobe Reader와 Frida로 계측하기
퍼징 논문 목록
윈도우에서 퍼징하기
웹어셈블리 리버싱 및 동적 분석 과정 출시
마이크로소프트의 새로운 REST API 퍼저 출시
HITBCyberWeek 사이버 주간 자료
구글의 새로운 파이썬 퍼저
크롬 최적화에 대한 멋진 포스트
Adobe Reader와 Frida로 계측하기
리눅스 커널의 eBPF JIT 버그를 위한 퍼징
웹어셈블리 리버싱 및 동적 분석 과정 출시
EkoParty 고급 퍼징 워크숍 자료
브라우저 취약점 연구를 위한 흥미로운 자료
텔레그램 링크 공유
퍼징 논문 목록
퍼징 학습 할인
Qiling 프레임워크 소개
Untitled
고랭 패키지 퍼징 튜토리얼
스페인어 비디오 추천
NYX: 그레이박스 하이퍼바이저 퍼징
크롬 최적화에 대한 멋진 포스트
모의 해킹 도구에 대한 좋은 블로그 포스트
마이크로소프트의 새로운 REST API 퍼저 출시
파이어폭스 취약점 연구
HITBCyberWeek 사이버 주간 자료
구글의 새로운 파이썬 퍼저
윈도우에서 퍼징하기
모의 해킹 도구에 대한 좋은 블로그 포스트
리눅스 커널의 eBPF JIT 버그를 위한 퍼징
Untitled
구글의 새로운 파이썬 퍼저
EkoParty 고급 퍼징 워크숍 자료
Adobe Reader와 Frida로 계측하기
마이크로소프트의 새로운 REST API 퍼저 출시
웹어셈블리 리버싱 및 동적 분석 과정 출시
퍼징 학습 할인
HITBCyberWeek 사이버 주간 자료
파이어폭스 취약점 연구
스페인어 비디오 추천
윈도우에서 퍼징하기
고랭 패키지 퍼징 튜토리얼
Qiling 프레임워크 소개
텔레그램 링크 공유
브라우저 취약점 연구를 위한 흥미로운 자료
크롬 최적화에 대한 멋진 포스트
NYX: 그레이박스 하이퍼바이저 퍼징
퍼징 논문 목록
Load more
JIT 최적화기 버그 찾기
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
pypy.org
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
pypy.org
Made with SlashPage