|
CBMC
|
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| bool | ansi_c_entry_point (symbol_tablet &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters) |
| bool | generate_ansi_c_start_function (const symbolt &symbol, symbol_tablet &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters) |
| Generate a _start function for a specific function. More... | |
| bool ansi_c_entry_point | ( | symbol_tablet & | symbol_table, |
| message_handlert & | message_handler, | ||
| const c_object_factory_parameterst & | object_factory_parameters | ||
| ) |
Definition at line 106 of file ansi_c_entry_point.cpp.
| bool generate_ansi_c_start_function | ( | const symbolt & | symbol, |
| symbol_tablet & | symbol_table, | ||
| message_handlert & | message_handler, | ||
| const c_object_factory_parameterst & | object_factory_parameters | ||
| ) |
Generate a _start function for a specific function.
| symbol | The symbol for the function that should be used as the entry point |
| symbol_table | The symbol table for the program. The new _start function symbol will be added to this table |
| message_handler | The message handler |
| object_factory_parameters | configuration parameters for the object factory |
Definition at line 191 of file ansi_c_entry_point.cpp.