retdec
|
Implementation of LibcSemantics. More...
Functions | |
std::optional< bool > | funcNeverReturns (const std::string &funcName) |
Implements funcNeverReturns() for LibcSemantics. More... | |
std::optional< std::string > | getCHeaderFileForFunc (const std::string &funcName) |
Implements getCHeaderFileForFunc() for LibcSemantics. More... | |
std::optional< std::string > | getNameOfParam (const std::string &funcName, unsigned paramPos) |
Implements getNameOfParam() for LibcSemantics. More... | |
std::optional< std::string > | getNameOfVarStoringResult (const std::string &funcName) |
Implements getNameOfVarStoringResult() for LibcSemantics. More... | |
std::optional< IntStringMap > | getSymbolicNamesForParam (const std::string &funcName, unsigned paramPos) |
Implements getSymbolicNamesForParam() for LibcSemantics. More... | |
Implementation of LibcSemantics.
std::optional< bool > retdec::llvmir2hll::semantics::libc::funcNeverReturns | ( | const std::string & | funcName | ) |
Implements funcNeverReturns() for LibcSemantics.
See its description for more details.
std::optional< std::string > retdec::llvmir2hll::semantics::libc::getCHeaderFileForFunc | ( | const std::string & | funcName | ) |
Implements getCHeaderFileForFunc() for LibcSemantics.
See its description for more details.
std::optional< std::string > retdec::llvmir2hll::semantics::libc::getNameOfParam | ( | const std::string & | funcName, |
unsigned | paramPos | ||
) |
Implements getNameOfParam() for LibcSemantics.
See its description for more details.
std::optional< std::string > retdec::llvmir2hll::semantics::libc::getNameOfVarStoringResult | ( | const std::string & | funcName | ) |
Implements getNameOfVarStoringResult() for LibcSemantics.
See its description for more details.
std::optional< IntStringMap > retdec::llvmir2hll::semantics::libc::getSymbolicNamesForParam | ( | const std::string & | funcName, |
unsigned | paramPos | ||
) |
Implements getSymbolicNamesForParam() for LibcSemantics.
See its description for more details.