cprover
add_malloc_may_fail_variable_initializations.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void add_malloc_may_fail_variable_initializations (goto_modelt &goto_model)
 Some variables have different initial values based on what flags are being passed to cbmc; since the _start function might've been generated by goto-cc before getting passed over here we need to add the initialisation of these variables here as a post-processing step. More...
 

Detailed Description

Author
Diffblue Ltd. Adds an instrumentation to add initialisations for variables used by the –malloc-may-fail and related flags in cbmc

Definition in file add_malloc_may_fail_variable_initializations.h.

Function Documentation

◆ add_malloc_may_fail_variable_initializations()

void add_malloc_may_fail_variable_initializations ( goto_modelt goto_model)

Some variables have different initial values based on what flags are being passed to cbmc; since the _start function might've been generated by goto-cc before getting passed over here we need to add the initialisation of these variables here as a post-processing step.

Definition at line 22 of file add_malloc_may_fail_variable_initializations.cpp.