7 #ifndef RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_H
8 #define RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_H
32 virtual std::string
getId()
const override;
35 const std::string &funcName)
const override;
37 const std::string &funcName)
const override;
39 const std::string &funcName)
const override;
40 virtual std::optional<std::string>
getNameOfParam(
const std::string &funcName,
41 unsigned paramPos)
const override;
43 const std::string &funcName,
unsigned paramPos)
const override;
A default semantics which doesn't know anything.
Definition: default_semantics.h:28
Semantics for the standard C library.
Definition: libc_semantics.h:26
virtual std::optional< bool > funcNeverReturns(const std::string &funcName) const override
Gets the information whether the given function never returns.
Definition: libc_semantics.cpp:48
virtual std::string getId() const override
Returns the ID of the semantics.
Definition: libc_semantics.cpp:35
virtual std::optional< std::string > getNameOfParam(const std::string &funcName, unsigned paramPos) const override
Returns an appropriate name of the given function's parameter.
Definition: libc_semantics.cpp:58
virtual std::optional< std::string > getCHeaderFileForFunc(const std::string &funcName) const override
Returns the C header file for the given function.
Definition: libc_semantics.cpp:43
virtual std::optional< std::string > getMainFuncName() const override
Returns the name of the main function.
Definition: libc_semantics.cpp:39
virtual std::optional< IntStringMap > getSymbolicNamesForParam(const std::string &funcName, unsigned paramPos) const override
Returns a mapping of integers into their symbolic names for the given parameter of the given function...
Definition: libc_semantics.cpp:63
virtual std::optional< std::string > getNameOfVarStoringResult(const std::string &funcName) const override
Returns an appropriate name of the variable that stores the result of calls to the given function.
Definition: libc_semantics.cpp:53
LibcSemantics()
Constructs the semantics.
Definition: libc_semantics.cpp:26
static ShPtr< Semantics > create()
Creates a new semantics.
Definition: libc_semantics.cpp:31
A default semantics which doesn't know anything.
A library providing API for working with back-end IR.
std::shared_ptr< T > ShPtr
An alias for a shared pointer.
Definition: smart_ptr.h:18
Definition: archive_wrapper.h:19
Declarations, aliases, macros, etc. for the use of smart pointers.