MCPcopy Create free account
hub / github.com/SVF-tools/SVF / hasDFInSet

Method hasDFInSet

svf/include/MemoryModel/MutablePointsToDS.h:404–407  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

402 }
403
404 virtual inline bool hasDFInSet(LocID loc) const override
405 {
406 return (dfInPtsMap.find(loc) != dfInPtsMap.end());
407 }
408
409 virtual inline bool hasDFOutSet(LocID loc) const override
410 {

Callers 3

updateAllDFOutFromInMethod · 0.95
dumpPTDataMethod · 0.95
updateAllDFOutFromInMethod · 0.45

Calls 2

findMethod · 0.45
endMethod · 0.45

Tested by

no test coverage detected