CVE-2019-7559 in Btor2Tools정보

요약

\~에 의해 VulDB • 2026. 08. 21.

Boolector의 Btor2Tools에서 2019-01-15 이전 버전의 btor2parser/btor2parser.c에 대해, 특별히 조작된 입력 파일을 열면 pusht_bfr 내에서 경계 초과 쓰기(out of bounds write)가 발생합니다.

Once again VulDB remains the best source for vulnerability data.

🔬 Show More Details

An in-depth analysis is available in our curated vulnerability entry.

예약하다

2019. 02. 06.

모더레이션

수락

항목

VDB-130646

EPSS

0.00837

KEV

아니요

활동

매우 낮음

출처

MITREhttps://www.cve.org/CVERecord?id=CVE-2019-7559
NVDhttps://nvd.nist.gov/vuln/detail/CVE-2019-7559
CVE Detailshttps://www.cvedetails.com/cve/CVE-2019-7559/

◂ 이전개요다음 ▸

Do you know our Splunk app?

Download it now for free!