remove klee_alias_function()

this function can be used to modify the control flow of the program
on different paths, enabling self-modifying code.

2 files changed, 0 insertions, 10 deletions

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<std::string> 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<ref<MergeHandler> > 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);