retdec
Namespaces | Functions
get_symbolic_names_for_param.cpp File Reference

Implementation of semantics::gcc_general::getSymbolicNamesForParam() for GCCGeneralSemantics. More...

#include "retdec/llvmir2hll/semantics/semantics/gcc_general_semantics/get_symbolic_names_for_param.h"
#include "retdec/llvmir2hll/semantics/semantics/impl_support/get_symbolic_names_for_param.h"

Namespaces

 retdec
 
 retdec::llvmir2hll
 
 retdec::llvmir2hll::semantics
 Implementation of semantics.
 
 retdec::llvmir2hll::semantics::gcc_general
 

Functions

std::optional< IntStringMap > retdec::llvmir2hll::semantics::gcc_general::getSymbolicNamesForParam (const std::string &funcName, unsigned paramPos)
 Implements getSymbolicNamesForParam() for GCCGeneralSemantics. More...
 

Detailed Description

Implementation of semantics::gcc_general::getSymbolicNamesForParam() for GCCGeneralSemantics.