From 4c15d279e4d92b204275e973f2cedb76f63b0ac3 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Thu, 17 May 2018 23:12:24 +0100 Subject: fix out of range access in KleeHandler::getKTestFilesInDir --- test/regression/2018-05-17-replay-short-names.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 test/regression/2018-05-17-replay-short-names.c (limited to 'test/regression') diff --git a/test/regression/2018-05-17-replay-short-names.c b/test/regression/2018-05-17-replay-short-names.c new file mode 100644 index 00000000..c0b9023f --- /dev/null +++ b/test/regression/2018-05-17-replay-short-names.c @@ -0,0 +1,11 @@ +// RUN: rm -rf a +// RUN: mkdir a +// RUN: touch a/b +// RUN: %llvmgcc %s -emit-llvm -O0 -g -c -o %t1.bc +// RUN: rm -rf %t.klee-out +// RUN: %klee -replay-ktest-dir=a --output-dir=%t.klee-out %t1.bc 2>&1 +// + +#include "klee/klee.h" + +int main(int argc, char * argv[]) {} -- cgit 1.4.1