Searched refs:SinkNode (Results 1 – 2 of 2) sorted by relevance
245 ProgramStateRef state = event.SinkNode->getState(); in checkEvent()278 BugReport *report = new BugReport(*bug, os.str(), event.SinkNode); in checkEvent()
546 ExplodedNode *SinkNode; member