MCPcopy Create free account
hub / github.com/cseagle/blc / testUntiedCallIntersection

Method testUntiedCallIntersection

variable.cc:1061–1072  ·  view source on GitHub ↗

\brief Test if a given HighVariable might intersect an address tied HighVariable during a call If an address tied Varnode has aliases, we need to consider it as \e in \e scope during calls, even if the value is never read after the call. In particular, another Varnode that \e crosses the call is considered to be intersecting with the address tied Varnode. This method tests whether the address ti

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 7

getTiedVarnodeMethod · 0.80
hasNoLocalAliasMethod · 0.80
isPopulatedMethod · 0.80
populateMethod · 0.80
getCoverMethod · 0.80
isPersistMethod · 0.45
intersectMethod · 0.45

Tested by

no test coverage detected