From e33b9101829bba4fcb3b2a3ce462dea85fd4fb77 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Sat, 24 Feb 2018 12:22:21 -0800 Subject: [PATCH] Add no-op impls for KLEE engine commands These functions do not have a DeepState equivalent, nor do they impact the semantics of the symbolic program to be executed. --- src/include/deepstate/Klee.h | 25 +++++++++++++++---------- 1 file changed, 15 insertions(+), 10 deletions(-) diff --git a/src/include/deepstate/Klee.h b/src/include/deepstate/Klee.h index 9baff4e..f90c62d 100644 --- a/src/include/deepstate/Klee.h +++ b/src/include/deepstate/Klee.h @@ -63,11 +63,13 @@ static void klee_warning_once(const char *message) { DeepState_Log(DeepState_LogWarning, message); } -/* TODO(joe): Implement */ -static void klee_prefer_cex(void *object, uintptr_t condition); +static void klee_prefer_cex(void *object, uintptr_t condition) { + /* KLEE engine command, no DeepState equivalent. */ +} -/* TODO(joe): Implement */ -static void klee_posix_prefer_cex(void *object, uintptr_t condition); +static void klee_posix_prefer_cex(void *object, uintptr_t condition) { + /* KLEE engine command, no DeepState equivalent. */ +} /* TODO(joe): Implement */ static void klee_mark_global(void *object); @@ -93,8 +95,9 @@ static KLEE_GET_VALUE(_i64, int64_t); /* TODO(joe): Implement */ static void klee_check_memory_access(const void *address, size_t size); -/* TODO(joe): Implement */ -static void klee_set_forking(unsigned enable); +static void klee_set_forking(unsigned enable) { + /* KLEE engine command, no DeepState equivalent. */ +} /* TODO(joe): Implement */ static void klee_alias_function(const char *fn_name, const char *new_fn_name); @@ -105,11 +108,13 @@ static void klee_stack_trace(void); /* TODO(joe): Implement */ static void klee_print_range(const char *name, int arg); -/* TODO(joe): Implement */ -static void klee_open_merge(void); +static void klee_open_merge(void) { + /* KLEE engine command, no DeepState equivalent. */ +} -/* TODO(joe): Implement */ -static void klee_close_merge(void); +static void klee_close_merge(void) { + /* KLEE engine command, no DeepState equivalent. */ +} DEEPSTATE_END_EXTERN_C