It might be better to just get (most of) the exported symbols
right from the SpecialFunctionHandler class.
---
tools/klee/main.cpp | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 26da43b..5edd4f7 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -682,7 +682,12 @@ static const char *modelledExternals[] = {
"klee_check_memory_access",
"klee_define_fixed_object",
"klee_get_errno",
- "klee_get_value",
+ "klee_get_valuef",
+ "klee_get_valued",
+ "klee_get_valuel",
+ "klee_get_valuell",
+ "klee_get_value_i32",
+ "klee_get_value_i64",
"klee_get_obj_size",
"klee_is_symbolic",
"klee_make_symbolic",
--
1.7.10.4
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
