retdec
Namespaces | Functions
get_symbolic_names_for_param.h File Reference

Provides function getSymbolicNamesForParam() for LibcSemantics in the semantics::libc namespace. More...

#include <optional>
#include <string>
#include "retdec/llvmir2hll/support/types.h"

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

Detailed Description

Provides function getSymbolicNamesForParam() for LibcSemantics in the semantics::libc namespace.