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. --- lib/Core/ExecutionState.cpp | 8 -------- 1 file changed, 8 deletions(-) (limited to 'lib/Core/ExecutionState.cpp') diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index 70d5d21c..48154383 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -173,14 +173,6 @@ std::string ExecutionState::getFnAlias(std::string fn) { else return ""; } -void ExecutionState::addFnAlias(std::string old_fn, std::string new_fn) { - fnAliases[old_fn] = new_fn; -} - -void ExecutionState::removeFnAlias(std::string fn) { - fnAliases.erase(fn); -} - /**/ llvm::raw_ostream &klee::operator<<(llvm::raw_ostream &os, const MemoryMap &mm) { -- cgit 1.4.1