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

Method is_alloc

svf/lib/Util/ExtAPI.cpp:277–280  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

275}
276
277bool ExtAPI::is_alloc(const FunObjVar* F)
278{
279 return F && hasExtFuncAnnotation(F, "ALLOC_HEAP_RET");
280}
281
282// Does (F) allocate a new object and assign it to one of its arguments?
283bool ExtAPI::is_arg_alloc(const FunObjVar* F)

Callers 1

isHeapAllocExtFunViaRetFunction · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected