33 using namespace SVFUtil;
39 if(isAllPathReachable() ==
false && isSomePathReachable() ==
false)
45 else if (isAllPathReachable() ==
false && isSomePathReachable() ==
true)
void reportBug(ProgSlice *slice)
Report file/close bugs.
std::vector< SVFBugEvent > EventStack
void evalFinalCond2Event(GenericBug::EventStack &eventStack) const
Add final condition to eventStack.
const SVFGNode * getSource() const
root and sink operations