CBMC
ansi_c_entry_point.h File Reference
+ 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_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...
 

Function Documentation

◆ ansi_c_entry_point()

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.

◆ generate_ansi_c_start_function()

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.

Parameters
symbolThe symbol for the function that should be used as the entry point
symbol_tableThe symbol table for the program. The new _start function symbol will be added to this table
message_handlerThe message handler
object_factory_parametersconfiguration parameters for the object factory
Returns
Returns false if the _start method was generated correctly

Definition at line 184 of file ansi_c_entry_point.cpp.