retdec
|
Provides function funcNeverReturns() for LibcSemantics in the semantics::libc namespace. More...
#include <optional>
#include <string>
Go to the source code of this file.
Namespaces | |
retdec | |
retdec::llvmir2hll | |
retdec::llvmir2hll::semantics | |
Implementation of semantics. | |
retdec::llvmir2hll::semantics::libc | |
Implementation of LibcSemantics. | |
Functions | |
std::optional< bool > | retdec::llvmir2hll::semantics::libc::funcNeverReturns (const std::string &funcName) |
Implements funcNeverReturns() for LibcSemantics. More... | |
Provides function funcNeverReturns() for LibcSemantics in the semantics::libc namespace.