From 4b93a3ecf7514d181730f5a8f8bfe7e086160b4c Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
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/SpecialFunctionHandler.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/Core/SpecialFunctionHandler.h')

diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index fdb6b6de..e041a3e4 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -111,7 +111,6 @@ namespace klee {
     HANDLER(handleDeleteArray);
     HANDLER(handleExit);
     HANDLER(handleErrnoLocation);
-    HANDLER(handleAliasFunction);
     HANDLER(handleFree);
     HANDLER(handleGetErrno);
     HANDLER(handleGetObjSize);
-- 
cgit 1.4.1