Home
last modified time | relevance | path

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

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h167 std::set<uint64_t> legalFunctions; variable
H A DExecutor.cpp682 legalFunctions.insert(reinterpret_cast<std::uint64_t>(&f)); in allocateGlobalObjects()
2426 if (legalFunctions.count(addr)) {