|
 |
c7f7a2 |
From 585cc28a93be27d6938f276af0011401b9f7c0ca Mon Sep 17 00:00:00 2001
|
|
|
c7f7a2 |
From: Hugo Lefeuvre <hle@owl.eu.com>
|
|
|
c7f7a2 |
Date: Mon, 24 Dec 2018 06:43:48 +0100
|
|
|
c7f7a2 |
Subject: [PATCH] a/ulaw: fix multiple buffer overflows (#432)
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
i2ulaw_array() and i2alaw_array() fail to handle ptr [count] = INT_MIN
|
|
|
c7f7a2 |
properly, leading to buffer underflow. INT_MIN is a special value
|
|
|
c7f7a2 |
since - INT_MIN cannot be represented as int.
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
In this case round - INT_MIN to INT_MAX and proceed as usual.
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
f2ulaw_array() and f2alaw_array() fail to handle ptr [count] = NaN
|
|
|
c7f7a2 |
properly, leading to null pointer dereference.
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
In this case, arbitrarily set the buffer value to 0.
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
This commit fixes #429 (CVE-2018-19661 and CVE-2018-19662) and
|
|
|
c7f7a2 |
fixes #344 (CVE-2017-17456 and CVE-2017-17457).
|
|
|
c7f7a2 |
---
|
|
|
c7f7a2 |
src/alaw.c | 9 +++++++--
|
|
|
c7f7a2 |
src/ulaw.c | 9 +++++++--
|
|
|
c7f7a2 |
2 files changed, 14 insertions(+), 4 deletions(-)
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
diff --git a/src/alaw.c b/src/alaw.c
|
|
|
c7f7a2 |
index 063fd1a2..4220224c 100644
|
|
|
c7f7a2 |
--- a/src/alaw.c
|
|
|
c7f7a2 |
+++ b/src/alaw.c
|
|
|
c7f7a2 |
@@ -19,6 +19,7 @@
|
|
|
c7f7a2 |
#include "sfconfig.h"
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
#include <math.h>
|
|
|
c7f7a2 |
+#include <limits.h>
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
#include "sndfile.h"
|
|
|
c7f7a2 |
#include "common.h"
|
|
|
c7f7a2 |
@@ -326,7 +327,9 @@ s2alaw_array (const short *ptr, int count, unsigned char *buffer)
|
|
|
c7f7a2 |
static inline void
|
|
|
c7f7a2 |
i2alaw_array (const int *ptr, int count, unsigned char *buffer)
|
|
|
c7f7a2 |
{ while (--count >= 0)
|
|
|
c7f7a2 |
- { if (ptr [count] >= 0)
|
|
|
c7f7a2 |
+ { if (ptr [count] == INT_MIN)
|
|
|
c7f7a2 |
+ buffer [count] = alaw_encode [INT_MAX >> (16 + 4)] ;
|
|
|
c7f7a2 |
+ else if (ptr [count] >= 0)
|
|
|
c7f7a2 |
buffer [count] = alaw_encode [ptr [count] >> (16 + 4)] ;
|
|
|
c7f7a2 |
else
|
|
|
c7f7a2 |
buffer [count] = 0x7F & alaw_encode [- ptr [count] >> (16 + 4)] ;
|
|
|
c7f7a2 |
@@ -346,7 +349,9 @@ f2alaw_array (const float *ptr, int count, unsigned char *buffer, float normfact
|
|
|
c7f7a2 |
static inline void
|
|
|
c7f7a2 |
d2alaw_array (const double *ptr, int count, unsigned char *buffer, double normfact)
|
|
|
c7f7a2 |
{ while (--count >= 0)
|
|
|
c7f7a2 |
- { if (ptr [count] >= 0)
|
|
|
c7f7a2 |
+ { if (!isfinite (ptr [count]))
|
|
|
c7f7a2 |
+ buffer [count] = 0 ;
|
|
|
c7f7a2 |
+ else if (ptr [count] >= 0)
|
|
|
c7f7a2 |
buffer [count] = alaw_encode [lrint (normfact * ptr [count])] ;
|
|
|
c7f7a2 |
else
|
|
|
c7f7a2 |
buffer [count] = 0x7F & alaw_encode [- lrint (normfact * ptr [count])] ;
|
|
|
c7f7a2 |
diff --git a/src/ulaw.c b/src/ulaw.c
|
|
|
c7f7a2 |
index e50b4cb5..b6070ade 100644
|
|
|
c7f7a2 |
--- a/src/ulaw.c
|
|
|
c7f7a2 |
+++ b/src/ulaw.c
|
|
|
c7f7a2 |
@@ -19,6 +19,7 @@
|
|
|
c7f7a2 |
#include "sfconfig.h"
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
#include <math.h>
|
|
|
c7f7a2 |
+#include <limits.h>
|
|
|
c7f7a2 |
|
|
|
c7f7a2 |
#include "sndfile.h"
|
|
|
c7f7a2 |
#include "common.h"
|
|
|
c7f7a2 |
@@ -827,7 +828,9 @@ s2ulaw_array (const short *ptr, int count, unsigned char *buffer)
|
|
|
c7f7a2 |
static inline void
|
|
|
c7f7a2 |
i2ulaw_array (const int *ptr, int count, unsigned char *buffer)
|
|
|
c7f7a2 |
{ while (--count >= 0)
|
|
|
c7f7a2 |
- { if (ptr [count] >= 0)
|
|
|
c7f7a2 |
+ { if (ptr [count] == INT_MIN)
|
|
|
c7f7a2 |
+ buffer [count] = ulaw_encode [INT_MAX >> (16 + 2)] ;
|
|
|
c7f7a2 |
+ else if (ptr [count] >= 0)
|
|
|
c7f7a2 |
buffer [count] = ulaw_encode [ptr [count] >> (16 + 2)] ;
|
|
|
c7f7a2 |
else
|
|
|
c7f7a2 |
buffer [count] = 0x7F & ulaw_encode [-ptr [count] >> (16 + 2)] ;
|
|
|
c7f7a2 |
@@ -847,7 +850,9 @@ f2ulaw_array (const float *ptr, int count, unsigned char *buffer, float normfact
|
|
|
c7f7a2 |
static inline void
|
|
|
c7f7a2 |
d2ulaw_array (const double *ptr, int count, unsigned char *buffer, double normfact)
|
|
|
c7f7a2 |
{ while (--count >= 0)
|
|
|
c7f7a2 |
- { if (ptr [count] >= 0)
|
|
|
c7f7a2 |
+ { if (!isfinite (ptr [count]))
|
|
|
c7f7a2 |
+ buffer [count] = 0 ;
|
|
|
c7f7a2 |
+ else if (ptr [count] >= 0)
|
|
|
c7f7a2 |
buffer [count] = ulaw_encode [lrint (normfact * ptr [count])] ;
|
|
|
c7f7a2 |
else
|
|
|
c7f7a2 |
buffer [count] = 0x7F & ulaw_encode [- lrint (normfact * ptr [count])] ;
|