retdec
|
Files | |
file | get_c_header_file_for_func.h [code] |
Support for implementing the getCHeaderFileForFunc semantics. | |
file | get_name_of_param.h [code] |
Support for implementing the getNameOfParam semantics. | |
file | get_name_of_var_storing_result.h [code] |
Support for implementing the getNameOfVarStoringResult semantics. | |
file | get_symbolic_names_for_param.h [code] |
Support for implementing the getSymbolicNamesForParam semantics. | |