From 4b93a3ecf7514d181730f5a8f8bfe7e086160b4c Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Mon, 1 Oct 2018 10:33:34 +0200 Subject: remove klee_alias_function() this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. --- include/klee/ExecutionState.h | 2 -- include/klee/klee.h | 8 -------- 2 files changed, 10 deletions(-) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 69b29865..711cf1b3 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -144,8 +144,6 @@ public: std::set arrayNames; std::string getFnAlias(std::string fn); - void addFnAlias(std::string old_fn, std::string new_fn); - void removeFnAlias(std::string fn); // The objects handling the klee_open_merge calls this state ran through std::vector > openMergeStack; diff --git a/include/klee/klee.h b/include/klee/klee.h index 9dcc9f5f..2446fc07 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -138,14 +138,6 @@ extern "C" { /* Enable/disable forking. */ void klee_set_forking(unsigned enable); - /* klee_alias_function("foo", "bar") will replace, at runtime (on - the current path and all paths spawned on the current path), all - calls to foo() by calls to bar(). foo() and bar() have to exist - and have identical types. Use klee_alias_function("foo", "foo") - to undo. Be aware that some special functions, such as exit(), - may not always work. */ - void klee_alias_function(const char* fn_name, const char* new_fn_name); - /* Print stack trace. */ void klee_stack_trace(void); -- cgit 1.4.1