| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 108 ExplodedNode *generateNode(bool autoTransition = true) {
109 return generateNode(getState(), autoTransition);
114 ExplodedNode *generateNode(const ProgramState *state,
124 ExplodedNode *generateNode(const ProgramState *state,
143 generateNode(state, true, tag);
160 ExplodedNode *node = NB.generateNode(tag ? Location.withTag(tag) : Location,
|
| CoreEngine.h | 85 void generateNode(const ProgramPoint &Loc,
240 ExplodedNode *generateNode(const ProgramPoint &PP,
304 ExplodedNode *generateNode(const Stmt *S,
318 ExplodedNode *generateNode(const Stmt *S,
322 return generateNode(S, St, Pred, PointKind, tag);
325 ExplodedNode *generateNode(const ProgramPoint &PP,
392 ExplodedNode *generateNode(const ProgramState *State, bool branch,
445 ExplodedNode *generateNode(const iterator &I,
540 ExplodedNode *generateNode(const ProgramState *state, ExplodedNode *pred,
577 ExplodedNode *generateNode(const ProgramState *State
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AdjustedReturnValueChecker.cpp | 49 C.generateNode(state->BindExpr(CE, UnknownVal()));
85 C.generateNode(state->BindExpr(CE, V));
|
| BuiltinFunctionChecker.cpp | 52 C.generateNode(state->BindExpr(CE, X));
75 C.generateNode(state->BindExpr(CE, loc::MemRegionVal(R)));
|
| FixedAddressChecker.cpp | 54 if (ExplodedNode *N = C.generateNode()) {
|
| OSAtomicChecker.cpp | 36 ExplodedNode *generateNode(const ProgramState *State,
69 ExplodedNode *OSAtomicChecker::generateNode(const ProgramState *State,
74 ExplodedNode *N = B.generateNode(Statement, State, Pred, this);
210 generateNode(stateNew->BindExpr(CE, Res), predNew, CE, Builder, Dst);
221 generateNode(stateNotEqual->BindExpr(CE, Res), N, CE, Builder, Dst);
|
| CastToStructChecker.cpp | 59 if (ExplodedNode *N = C.generateNode()) {
|
| ObjCAtSyncChecker.cpp | 69 if (ExplodedNode *N = C.generateNode(nullState)) {
|
| PointerArithChecker.cpp | 53 if (ExplodedNode *N = C.generateNode()) {
|
| PointerSubChecker.cpp | 62 if (ExplodedNode *N = C.generateNode()) {
|
| MacOSKeychainAPIChecker.cpp | 264 ExplodedNode *N = C.generateNode(State);
307 ExplodedNode *N = C.generateNode(State);
365 ExplodedNode *N = C.generateNode(State);
425 ExplodedNode *N = C.generateNode(State);
548 ExplodedNode *N = C.generateNode(State);
588 ExplodedNode *N = B.generateNode(state);
|
| UndefBranchChecker.cpp | 71 ExplodedNode *N = Builder.generateNode(PP, state,
|
| ChrootChecker.cpp | 149 if (ExplodedNode *N = C.generateNode()) {
|
| BasicObjCFoundationChecks.cpp | 319 : C.generateNode()) {
467 if (ExplodedNode *N = C.generateNode()) {
615 errorNode = C.generateNode();
|
| IteratorsChecker.cpp | 408 if (ExplodedNode *N = C.generateNode()) {
431 if (ExplodedNode *N = C.generateNode()) {
500 if (ExplodedNode *N = C.generateNode()) {
|
| ArrayBoundCheckerV2.cpp | 169 checkerContext.generateNode(state);
|
| StreamChecker.cpp | 282 if (ExplodedNode *N = C.generateNode(state)) {
430 ExplodedNode *N = B.generateNode(state);
|
| CallAndMessageChecker.cpp | 352 C.generateNode(state->BindExpr(msg.getOriginExpr(), V));
|
| RetainCountChecker.cpp | 59 return C->generateNode(state, Pred, tag, false, MarkAsSink);
63 ExplodedNode *N = ENB->generateNode(state, Pred);
[all...] |
| CStringChecker.cpp | 662 if (ExplodedNode *N = C.generateNode(state)) {
719 if (ExplodedNode *N = C.generateNode(state)) {
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| CoreEngine.cpp | 180 generateNode(StartLoc, SubEng.getInitialState(L), 0);
182 generateNode(StartLoc, InitState, 0);
288 generateNode(BE, Pred->State, Pred);
414 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
440 /// generateNode - Utility method to generate nodes, hook up successors,
442 void CoreEngine::generateNode(const ProgramPoint &Loc,
562 ExplodedNode *N = generateNode(S, St, Pred, K, 0, BuildSinks);
569 ExplodedNode *BranchNodeBuilder::generateNode(const ProgramState *State,
583 IndirectGotoNodeBuilder::generateNode(const iterator &I,
661 generateNode(Pred->State)
[all...] |
| ExprEngineCallAndReturn.cpp | 35 B.generateNode(state);
64 B.generateNode(state);
242 Pred = Builder->generateNode(RetE, state, Pred, &tag);
|
| ExprEngine.cpp | 266 Builder->generateNode(currentStmt, CleanedState, EntryNode, &cleanupTag);
304 ExplodedNode *CleanedNode = Builder->generateNode(currentStmt,
356 builder.generateNode(PP, state, Pred);
825 nodeBuilder.generateNode(pred->getState(), pred, &tag, true);
[all...] |
| ExprEngineCXX.cpp | 192 if (ExplodedNode *N = Builder->generateNode(Loc, state, *NI))
236 ExplodedNode *N = Builder->generateNode(PP, state, Pred);
|
