retdec
|
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. | |