From owner-freebsd-ports-bugs@freebsd.org Sun Oct 15 23:23:38 2017 Return-Path: Delivered-To: freebsd-ports-bugs@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 35908E274B9 for ; Sun, 15 Oct 2017 23:23:38 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2001:1900:2254:206a::16:76]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 236B164B03 for ; Sun, 15 Oct 2017 23:23:38 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from bugs.freebsd.org ([127.0.1.118]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id v9FNNbkJ046381 for ; Sun, 15 Oct 2017 23:23:38 GMT (envelope-from bugzilla-noreply@freebsd.org) From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 223039] lang/ocaml: generating insecure code before 4.03 Date: Sun, 15 Oct 2017 23:23:37 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: freebsd@phil.spodhuis.org X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: freebsd-ports-bugs@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter cc flagtypes.name Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 15 Oct 2017 23:23:38 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D223039 Bug ID: 223039 Summary: lang/ocaml: generating insecure code before 4.03 Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Many People Priority: --- Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: freebsd@phil.spodhuis.org CC: michipili@gmail.com Flags: maintainer-feedback?(michipili@gmail.com) CC: michipili@gmail.com This should be tracked as a security problem; per: https://cve.mitre.org/cgi-bin/cvename.cgi?name=3DCVE-2015-8869 the OCaml compiler before version 4.03 generates insecure code, mis-handling sign extensions resulting in remote code execution vulnerabilities in softw= are written in OCaml, if it accepts network connections. Example network-connection-accepting OCaml software in Ports: security/sks The current packaging is 4.02.3, not 4.03+, thus all OCaml code being compi= led on FreeBSD using the compiler in Ports should be considered vulnerable, per= my understanding of the CVE. There is work in progress for one possible path forward in bug 218333; whet= her this security-issue bug ends up marked as a dup or prompts shorter-term fast work to update the compiler, is a matter for the Security & Ports folks of FreeBSD to decide, but I felt it worth having a tracking bug for the securi= ty implications rather than one possible remediation path. --=20 You are receiving this mail because: You are the assignee for the bug.=