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

Method addForksite

svf/include/Graphs/ThreadCallGraph.h:314–318  ·  view source on GitHub ↗

Add fork sites which directly or indirectly create a thread @{

Source from the content-addressed store, hash-verified

312 /// Add fork sites which directly or indirectly create a thread
313 //@{
314 inline bool addForksite(const CallICFGNode* cs)
315 {
316 callinstToThreadForkEdgesMap[cs];
317 return forksites.insert(cs).second;
318 }
319 inline bool addJoinsite(const CallICFGNode* cs)
320 {
321 callinstToThreadJoinEdgesMap[cs];

Callers 1

buildThreadCallGraphMethod · 0.80

Calls 1

insertMethod · 0.80

Tested by

no test coverage detected