#include <exploded-graph.h>
Public Member Functions | |
dynamic_call_info_t (const gcall *dynamic_call, const bool is_returning_call=false) | |
void | print (pretty_printer *pp) const final override |
bool | update_model (region_model *model, const exploded_edge *eedge, region_model_context *ctxt) const final override |
void | add_events_to_path (checker_path *emission_path, const exploded_edge &eedge) const final override |
virtual bool | update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) const |
Private Attributes | |
const gcall * | m_dynamic_call |
const bool | m_is_returning_call |
Extra data for an exploded_edge that represents dynamic call info ( calls that doesn't have an underlying superedge representing the call ).
|
inline |
|
finaloverridevirtual |
Implements ana::custom_edge_info.
|
inlinefinaloverridevirtual |
Implements ana::custom_edge_info.
References m_is_returning_call, and pp_string().
|
finaloverridevirtual |
Implements ana::custom_edge_info.
|
virtualinherited |
|
private |