From 0e0769034326880152a6e253ed8f813ff458f680 Mon Sep 17 00:00:00 2001
From: Maxim Menshikov <maxim.menshikov@iopsys.eu>
Date: Wed, 21 Sep 2022 09:56:15 +0300
Subject: [PATCH] symbolic execution: switch to uClibc
---
symbolic_execution.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/symbolic_execution.yml b/symbolic_execution.yml
index 1c6b319..e7c6be6 100644
--- a/symbolic_execution.yml
+++ b/symbolic_execution.yml
@@ -16,7 +16,7 @@ run_symbolic_execution:
cat $file >> klee_test.c
done
- clang -emit-llvm -g -o0 -c klee_test.c -o test.bc
- - klee test.bc
+ - klee --libc=uclibc --posix-runtime test.bc
- clang klee_test.c -DSYMBOLIC_EXECUTION -lkleeRuntest -L /home/klee/klee_build/lib -o klee_runner
- |+
for file in `ls klee-out-0/*.ktest` ; do
--
GitLab