Multiple vulnerabilities have been found in SWI-Prolog which allow attackers to execute arbitrary code or cause a Denial of Service condition.

Announced

2013-12-06

Revised

2013-12-06

Access

remote

Bugs

#450284

Advisory

https://security.gentoo.org/glsa/201312-05

Affected packages

Package	Arch	Vulnerable	Unaffected
dev-lang/swi-prolog	*	< 6.2.5	>= 6.2.5

Background

SWI-Prolog is a free, small, and standard compliant Prolog compiler.

Description

Multiple vulnerabilities have been discovered in SWI-Prolog: * An error in the canoniseFileName() function could cause a stack-based buffer overflow (CVE-2012-6089). * An error in the expand() function could cause a stack-based buffer overflow (CVE-2012-6090).

Impact

A context-dependent attack can create files with specially crafted names, causing arbitrary code execution or a denial of service condition.

Workaround

There is no known workaround at this time.

Resolution

All SWI-Prolog users should upgrade to the latest version:

# emerge --sync
# emerge --ask --oneshot --verbose ">=dev-lang/swi-prolog-6.2.5"

References

• CVE-2012-6089
• CVE-2012-6090