CBMC
|
Go to the source code of this file.
Functions | |
bool | ansi_c_entry_point (symbol_table_baset &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters) |
bool | generate_ansi_c_start_function (const symbolt &symbol, symbol_table_baset &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_table_baset & | symbol_table, |
message_handlert & | message_handler, | ||
const c_object_factory_parameterst & | object_factory_parameters | ||
) |
Definition at line 105 of file ansi_c_entry_point.cpp.
bool generate_ansi_c_start_function | ( | const symbolt & | symbol, |
symbol_table_baset & | 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 184 of file ansi_c_entry_point.cpp.