Home | History | Annotate | Download | only in Checkers

Lines Matching full:getallocationsite

2154 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N,
2254     GetAllocationSite(BRC.getStateManager(), EndN, Sym);
2338   // call to GetAllocationSite.  This will walk the ExplodedGraph backwards.
2347     GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);