SWI-Prolog : Multiple vulnerabilities

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"