CVE-2026-53671 in Prevail
요약
\~에 의해 VulDB • 2026. 09. 02.
PREVAIL은 추상 해석 레이어를 사용하는 다항식 실행 시간 EBPF 검증기입니다. 버전 0.2.4 이전의 PREVAIL에서는 T_CTX 타입의 베이스 레지스터를 통한 저장을 묵시적 노오프(no-op)로 처리하는 버그가 있었습니다: src/crab/ebpf_transformer.cpp에 있는 do_mem_store는 T_STACK 저장만 모델링하며, 체크어의 T_CTX 경계 검사 분기는 AccessType::write를 테스트하지 않습니다. 공격자는 컨텍스트 필드(예: ctx->data)를 덮어쓰고, 해당 필드를 T_PACKET 타입으로 다시 로드한 후 공격자가 제어하는 주소를 역참조하는 eBPF 프로그램을 작성할 수 있으며, PREVAIL은 이 프로그램을 안전하다고 보고합니다. 이 문제는 버전 0.2.4에서 패치되었습니다.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.