analyze(Collection< CFGHandle > cfgs) | cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer | [inline] |
getPointsToSetOf(CFGHandle cfg, String id) | cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer | [inline] |
ShapiroHorwitzAnalyzer(CategorizationProvider catProvider) | cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer | [inline] |