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

Files

file  doxygen.h [code]
 Doxygen documentation for the libc namespace.
 
file  func_never_returns.cpp
 Implementation of semantics::libc::funcNeverReturns() for LibcSemantics.
 
file  get_c_header_file_for_func.cpp
 Implementation of semantics::libc::getCHeaderFileForFunc() for LibcSemantics.
 
file  get_name_of_param.cpp
 Implementation of semantics::libc::getNameOfParam() for LibcSemantics.
 
file  get_name_of_var_storing_result.cpp
 Implementation of semantics::libc::getNameOfVarStoringResult() for LibcSemantics.
 
file  get_symbolic_names_for_param.cpp
 Implementation of semantics::libc::getSymbolicNamesForParam() for LibcSemantics.