Lines Matching refs:NodeBuilder
137 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
170 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
217 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
287 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
334 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
382 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
426 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
457 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
483 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
523 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
572 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
662 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()
707 NodeBuilder B(Pred, Dst, Eng.getBuilderContext()); in runCheckersForEvalCall()