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

Method hasThreadForkEdge

svf/include/Graphs/ThreadCallGraph.h:186–190  ·  view source on GitHub ↗

Get call graph edge via call instruction @{ whether this call instruction has a valid call graph edge

Source from the content-addressed store, hash-verified

184 //@{
185 /// whether this call instruction has a valid call graph edge
186 inline bool hasThreadForkEdge(const CallICFGNode* cs) const
187 {
188 return callinstToThreadForkEdgesMap.find(cs) !=
189 callinstToThreadForkEdgesMap.end();
190 }
191 inline ForkEdgeSet::const_iterator getForkEdgeBegin(const CallICFGNode* cs) const
192 {
193 CallInstToForkEdgesMap::const_iterator it = callinstToThreadForkEdgesMap.find(cs);

Callers 2

handleForkMethod · 0.80
handleForkMethod · 0.80

Calls 2

findMethod · 0.45
endMethod · 0.45

Tested by

no test coverage detected