retdec
Functions
retdec::llvmir2hll::semantics::libc Namespace Reference

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< IntStringMapgetSymbolicNamesForParam (const std::string &funcName, unsigned paramPos)
 Implements getSymbolicNamesForParam() for LibcSemantics. More...
 

Detailed Description

Implementation of LibcSemantics.

Function Documentation

◆ funcNeverReturns()

std::optional< bool > retdec::llvmir2hll::semantics::libc::funcNeverReturns ( const std::string &  funcName)

Implements funcNeverReturns() for LibcSemantics.

See its description for more details.

◆ getCHeaderFileForFunc()

std::optional< std::string > retdec::llvmir2hll::semantics::libc::getCHeaderFileForFunc ( const std::string &  funcName)

Implements getCHeaderFileForFunc() for LibcSemantics.

See its description for more details.

◆ getNameOfParam()

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.

◆ getNameOfVarStoringResult()

std::optional< std::string > retdec::llvmir2hll::semantics::libc::getNameOfVarStoringResult ( const std::string &  funcName)

Implements getNameOfVarStoringResult() for LibcSemantics.

See its description for more details.

◆ getSymbolicNamesForParam()

std::optional< IntStringMap > retdec::llvmir2hll::semantics::libc::getSymbolicNamesForParam ( const std::string &  funcName,
unsigned  paramPos 
)

Implements getSymbolicNamesForParam() for LibcSemantics.

See its description for more details.