retdec
libc_semantics Directory Reference
Directory dependency graph for libc_semantics:
/var/cache/acbs/build/acbs.6bu6osb6/retdec/include/retdec/llvmir2hll/semantics/semantics/libc_semantics

Files

file  func_never_returns.h [code]
 Provides function funcNeverReturns() for LibcSemantics in the semantics::libc namespace.
 
file  get_c_header_file_for_func.h [code]
 Provides function getCHeaderFileForFunc() for LibcSemantics in the semantics::libc namespace.
 
file  get_name_of_param.h [code]
 Provides function getNameOfParam() for LibcSemantics in the semantics::libc namespace.
 
file  get_name_of_var_storing_result.h [code]
 Provides function getNameOfVarStoringResult() for LibcSemantics in the semantics::libc namespace.
 
file  get_symbolic_names_for_param.h [code]
 Provides function getSymbolicNamesForParam() for LibcSemantics in the semantics::libc namespace.