Project: liblouis (liblouis/liblouis), language: c++
Vulnerability instance: liblouis.cve-2018-11440
Sanitizer: address

================= Bug Report (1/1) ==================
## Source: GitHub Issue
## URL: https://github.com/liblouis/liblouis/issues/575
## Description:
Issue: liblouis/liblouis#575
Title: CVE-2018-11440: ASAn stack-based buffer overflow in compileTranslationTable.c parseChars
State: closed
Created by: fgeek
Created at: 2018-05-25 10:12:07+00:00
Labels: bug

Issue Body:
[5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb.zip](https://github.com/liblouis/liblouis/files/2038800/5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb.zip)
Tested version 3.5.0 and commit ed6b00aea08005945c9ae8a4a4503acc43f3a844
Might be related to: https://bugzilla.redhat.com/show_bug.cgi?id=1582024
Credit: Henri Salo
Tools: [american fuzzy lop](http://lcamtuf.coredump.cx/afl/) 2.52b, [afl-utils](https://github.com/rc0r/afl-utils)
Thanks to Kapsi internet-käyttäjät ry for providing valuable fuzzing resources.
```
./lou_checktable 5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:1: error: opcode '000' not defined.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:3: error: opcode '0' not defined.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:5: error: invalid dot number '0'.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:6: error: opcode '0000000000000' not defined.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:7: error: Exactly two Unicode characters and at least one cell are required.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb:8: warning: invalid UTF-8. Assuming Latin-1.
=================================================================
==31674==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffc64214142 at pc 0x7fa79f9917b9 bp 0x7ffc6420d470 sp 0x7ffc6420d468
WRITE of size 2 at 0x7ffc64214142 thread T0
    #0 0x7fa79f9917b8 in parseChars /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:1146
    #1 0x7fa79f994170 in getRuleCharsText /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:1314
    #2 0x7fa79f9d2a45 in compileUplow /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:2779
    #3 0x7fa79f9d2a45 in compileRule /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:4166
    #4 0x7fa79f9e88a2 in compileFile /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:4501
    #5 0x7fa79f9e97c7 in compileTranslationTable /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:4606
    #6 0x7fa79f9e97c7 in lou_getTable /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:4691
    #7 0x5593eb49cf13 in main /home/hsalo/src/liblouis-3.5.0/tools/lou_checktable.c:112
    #8 0x7fa79f6002e0 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x202e0)
    #9 0x5593eb49d179 in _start (/home/hsalo/builds/liblouis/3.5.0/bin/lou_checktable+0x2179)

Address 0x7ffc64214142 is located in stack of thread T0 at offset 23298 in frame
    #0 0x7fa79f9caaff in compileRule /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:3138

  This frame has 17 object(s):
    [32, 34) 'c'
    [96, 98) 'c'
    [160, 164) 'lastToken'
    [224, 228) 'after'
    [288, 292) 'before'
    [352, 356) 'holdOffset'
    [416, 432) 'dict'
    [480, 2528) 'includeThis'
    [2560, 6658) 'token'
    [6720, 10818) 'ruleChars'
    [10880, 14978) 'ruleDots'
    [15040, 19138) 'name'
    [19200, 23298) 'ruleChars' <== Memory access at offset 23298 overflows this variable
    [23360, 27458) 'ruleDots'
    [27520, 31618) 'upperDots'
    [31680, 35778) 'lowerDots'
    [35840, 39984) 'nested'
HINT: this may be a false positive if your program uses some custom stack unwind mechanism or swapcontext
      (longjmp and C++ exceptions *are* supported)
SUMMARY: AddressSanitizer: stack-buffer-overflow /home/hsalo/src/liblouis-3.5.0/liblouis/compileTranslationTable.c:1146 in parseChars
Shadow bytes around the buggy address:
  0x10000c83a7d0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a7e0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a7f0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a800: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a810: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x10000c83a820: 00 00 00 00 00 00 00 00[02]f4 f4 f4 f2 f2 f2 f2
  0x10000c83a830: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a840: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a850: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a860: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x10000c83a870: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07
  Heap left redzone:       fa
  Heap right redzone:      fb
  Freed heap region:       fd
  Stack left redzone:      f1
  Stack mid redzone:       f2
  Stack right redzone:     f3
  Stack partial redzone:   f4
  Stack after return:      f5
  Stack use after scope:   f8
  Global redzone:          f9
  Global init order:       f6
  Poisoned by user:        f7
  Container overflow:      fc
  Array cookie:            ac
  Intra object redzone:    bb
  ASan internal:           fe
  Left alloca redzone:     ca
  Right alloca redzone:    cb
==31674==ABORTING
```


Comments:
Comment by carnil on 2018-05-25 20:19:41+00:00:
This issue has been assigned http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-11440

Attachments:
https://github.com/liblouis/liblouis/files/2038800/5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e.ctb.zip

Commit References:
ed6b00aea08005945c9ae8a4a4503acc43f3a844
5ce93fef85b68c5ecb4561bf1aedb52d1b1f368e

Build script:
#!/bin/bash
# Default build script template for C/C++ projects
set -eu

# Define configuration options
CONFIG_OPTS="--disable-shared"
CMAKE_OPTS="-DCMAKE_BUILD_TYPE=Debug"
MAKE_OPTS="-j$(nproc)"
BUILD_DIR="build"

# 1. Run build preparation scripts if they exist
for prep_script in buildconf autogen.sh bootstrap; do
  if [ -x "$prep_script" ]; then
    echo "Running $prep_script..."
    ./$prep_script
    break
  elif [ -f "$prep_script" ]; then
    echo "Found $prep_script but it's not executable, setting permissions..."
    chmod +x $prep_script
    ./$prep_script
    break
  fi
done

# 2. Handle different build systems
if [ -f "configure" ]; then
  echo "Found configure script, running with options: $CONFIG_OPTS"
  ./configure $CONFIG_OPTS

  echo "Building with make $MAKE_OPTS"
  make $MAKE_OPTS
elif [ -f "CMakeLists.txt" ]; then
  echo "Found CMakeLists.txt, using CMake build system"
  mkdir -p $BUILD_DIR
  cd $BUILD_DIR
  cmake $CMAKE_OPTS ..
  make $MAKE_OPTS
elif [ -f "Makefile" ] || [ -f "makefile" ]; then
  echo "Found Makefile, building with make $MAKE_OPTS"
  make $MAKE_OPTS
elif [ -f "meson.build" ]; then
  echo "Found meson.build, using Meson build system"
  mkdir -p $BUILD_DIR
  meson setup $BUILD_DIR .
  cd $BUILD_DIR
  ninja
elif [ -f "GNUmakefile" ]; then
  echo "Found GNUmakefile, building with make $MAKE_OPTS"
  make $MAKE_OPTS
elif [ -d ".git" ] && [ -f "Makefile.am" ]; then
  echo "Found Makefile.am, running autoreconf"
  autoreconf -i
  ./configure $CONFIG_OPTS
  make $MAKE_OPTS
else
  echo "WARNING: No recognized build system found!"
  echo "Trying generic approach:"
  
  # Try to detect common source patterns and compile them
  if ls *.c >/dev/null 2>&1 || ls *.cpp >/dev/null 2>&1 || ls *.cc >/dev/null 2>&1; then
    echo "Found C/C++ source files, attempting direct compilation"
    if ls *.cpp >/dev/null 2>&1 || ls *.cc >/dev/null 2>&1; then
      CXX=${CXX:-g++}
      echo "Compiling C++ sources with $CXX"
      $CXX -g -O1 -fsanitize=address -fno-omit-frame-pointer -o main *.cpp *.cc 2>/dev/null || true
    elif ls *.c >/dev/null 2>&1; then
      CC=${CC:-gcc}
      echo "Compiling C sources with $CC"
      $CC -g -O1 -fsanitize=address -fno-omit-frame-pointer -o main *.c 2>/dev/null || true
    fi
  fi
fi

Dockerfile:
FROM hwiwonlee/secb.base:latest
RUN apt-get update && apt-get install -y make autoconf automake libtool pkg-config zlib1g-dev libpci-dev
RUN git clone https://github.com/liblouis/liblouis liblouis
RUN git -C liblouis checkout 0dee1fcc102678e8a57f59ba53f0a9784b93b4ae
WORKDIR $SRC/liblouis
COPY build.sh $SRC/

Additional files: