void transform(const irep_idt &function_from, trace_ptrt trace_from, const irep_idt &function_to, trace_ptrt trace_to, ai_baset &ai, const namespacet &ns) final override
how function calls are treated: a) there is an edge from each call site to the function head b) there...
ai_history_baset::trace_ptrt trace_ptrt
void assign(const exprt &lhs)
goto_programt::const_targett locationt
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
bool merge(const uninitialized_domaint &other, trace_ptrt from, trace_ptrt to)
uninitializedt uninitialized
Detection for Uninitialized Local Variables.