hub / github.com/cseagle/blc / checkPointerIssues

Method checkPointerIssues

coreaction.cc:2343–2367 · view source on GitHub ↗

\brief Check if the data-type of the given value being used as a pointer makes sense If the data-type is a pointer make sure: - The pointed-to size matches the size of the value being loaded are stored - Any address space attached to the pointer matches the address space of the LOAD/STORE If any of the conditions are violated, a warning is added to the output. \param op is the LOAD/STORE acting

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 12

getHighTypeReadFacingMethod · 0.80

getMetatypeMethod · 0.80

getPtrToMethod · 0.80

warningMethod · 0.80

getInMethod · 0.45

getSizeMethod · 0.45

getNameMethod · 0.45

getOpcodeMethod · 0.45

getAddrMethod · 0.45

getSpaceMethod · 0.45

getSpaceFromConstMethod · 0.45

getContainMethod · 0.45

Tested by

no test coverage detected