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