retdec
|
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) | |
Implementation of LibcSemantics.