24 for(cfgt::entry_mapt::iterator
38 for(value_mapt::const_iterator
43 out << v_it->first <<
":";
45 for(object_id_sett::const_iterator
46 o_it=v_it->second.begin();
47 o_it!=v_it->second.end();
60 const goto_programt::instructiont &instruction=*(e.PC);
62 switch(instruction.type)
Field-sensitive, location-insensitive points-to analysis.
cfg_base_nodet< empty_cfg_nodet, goto_programt::const_targett > nodet
bool transform(const cfgt::nodet &)
void output(std::ostream &out) const