Home
last modified time | relevance | path

Searched refs:specialFunctionHandler (Results 1 – 2 of 2) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h134 SpecialFunctionHandler *specialFunctionHandler; variable
H A DExecutor.cpp454 pathWriter(0), symPathWriter(0), specialFunctionHandler(0), timers{time::Span(TimerInterval)}, in Executor()
542 specialFunctionHandler = new SpecialFunctionHandler(*this); in setModule()
543 specialFunctionHandler->prepare(preservedFunctions); in setModule()
559 specialFunctionHandler->bind(); in setModule()
579 delete specialFunctionHandler; in ~Executor()
3723 if (specialFunctionHandler->handle(state, function, target, arguments))