commit 9f57db4659c041eb4e7e8b9d30a6b8bde0b5e9b0
author Ivan Lozano <ivanlozano@google.com> Tue Jul 10 12:30:50 2018 -0700
committer Ivan Lozano <ivanlozano@google.com> Fri Jul 13 14:33:05 2018 -0700
tree 4588974c0d318de6f7d019d3cfbf0ec69d6249b4
parent 2a2f59be31eda0c290bf1c6e17dda9a1fc1b25fb

Enable integer overflow sanitization in libFLAC.

Enable integer overflow sanitization in libFLAC, initially in
diagnostics mode.

Bug: 110791537
Test: CTS tests
Change-Id: Ibd605cd49c26810690d23901623d5b35af18359f

libFLAC/Android.bp

diff --git a/libFLAC/Android.bp b/libFLAC/Android.bp
index d1b51f1..9ec28cf 100644
--- a/libFLAC/Android.bp
+++ b/libFLAC/Android.bp
@@ -51,9 +51,12 @@
     },
 
     sanitize: {
+        integer_overflow: true,
         cfi: true,
         diag: {
+            integer_overflow: true,
             cfi: true,
         },
+        blacklist: "libFLAC_blacklist.txt",
     },
 }

libFLAC/libFLAC_blacklist.txt

diff --git a/libFLAC/libFLAC_blacklist.txt b/libFLAC/libFLAC_blacklist.txt
new file mode 100644
index 0000000..cd952d9
--- /dev/null
+++ b/libFLAC/libFLAC_blacklist.txt
@@ -0,0 +1,11 @@
+[integer]
+# Preemptive due to: while(lag--)
+fun:FLAC__lpc_compute_autocorrelation
+# libFLAC/stream_encoder.c:3982: 4294967292 + 128 cannot be represented in type 'unsigned int'
+fun:precompute_partition_info_sums_
+
+src:*/libFLAC/crc.c
+src:*/libFLAC/md5.c
+src:*/libFLAC/bitmath.c
+src:*/libFLAC/bitreader.c
+src:*/libFLAC/bitwriter.c