retdec
Namespaces | Functions
libc_semantics.cpp File Reference

Implementation of LibcSemantics. More...

#include "retdec/llvmir2hll/semantics/semantics/libc_semantics.h"
#include "retdec/llvmir2hll/semantics/semantics/libc_semantics/func_never_returns.h"
#include "retdec/llvmir2hll/semantics/semantics/libc_semantics/get_c_header_file_for_func.h"
#include "retdec/llvmir2hll/semantics/semantics/libc_semantics/get_name_of_param.h"
#include "retdec/llvmir2hll/semantics/semantics/libc_semantics/get_name_of_var_storing_result.h"
#include "retdec/llvmir2hll/semantics/semantics/libc_semantics/get_symbolic_names_for_param.h"
#include "retdec/llvmir2hll/semantics/semantics_factory.h"
#include "retdec/llvmir2hll/support/debug.h"
#include "retdec/llvmir2hll/support/types.h"

Namespaces

 retdec
 
 retdec::llvmir2hll
 

Functions

 retdec::llvmir2hll::REGISTER_AT_FACTORY ("libc", LIBC_SEMANTICS_ID, SemanticsFactory, LibcSemantics::create)
 

Detailed Description

Implementation of LibcSemantics.