| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 260 ExplodedNode *N = C.addTransition(State); in generateDeallocatorMismatchReport()
302 ExplodedNode *N = C.addTransition(State); in checkPreStmt()
361 ExplodedNode *N = C.addTransition(State); in checkPreStmt()
404 C.addTransition(State); in checkPreStmt()
427 ExplodedNode *N = C.addTransition(State); in checkPreStmt()
440 C.addTransition(State); in checkPreStmt()
485 C.addTransition(State); in checkPostStmt()
574 C.addTransition(State); in checkDeadSymbols()
579 ExplodedNode *N = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in checkDeadSymbols()
588 C.addTransition(State, N); in checkDeadSymbols()
|
| D | DynamicTypePropagation.cpp | 56 C.addTransition(State); in recordFixedType()
134 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false)); in checkPostCall()
144 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType)); in checkPostCall()
189 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0))); in checkPostStmt()
205 C.addTransition(C.getState()->setDynamicTypeInfo(MR, NewE->getType(), in checkPostStmt()
|
| D | BuiltinFunctionChecker.cpp | 51 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
91 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
|
| D | ChrootChecker.cpp | 94 C.addTransition(state); in Chroot()
120 C.addTransition(state); in Chdir()
143 if (ExplodedNode *N = C.addTransition()) { in checkPreStmt()
|
| D | ObjCSelfInitChecker.cpp | 128 C.addTransition(state); in addSelfFlag()
259 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
263 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
301 C.addTransition(state); in checkPostCall()
337 C.addTransition(State); in checkBind()
|
| D | PthreadLockChecker.cpp | 132 C.addTransition(lockFail); in AcquireLock()
147 C.addTransition(lockSucc); in AcquireLock()
184 C.addTransition(state); in ReleaseLock()
|
| D | ObjCAtSyncChecker.cpp | 69 if (ExplodedNode *N = C.addTransition(nullState)) { in checkPreStmt()
87 C.addTransition(notNullState); in checkPreStmt()
|
| D | SimpleStreamChecker.cpp | 139 C.addTransition(State); in checkPostCall()
170 C.addTransition(State); in checkPreCall()
204 ExplodedNode *N = C.addTransition(State); in checkDeadSymbols()
|
| D | CallAndMessageChecker.cpp | 255 C.addTransition(StNonNull); in checkPreStmt()
356 C.addTransition(State); in checkPreCall()
468 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
506 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
510 C.addTransition(state); in HandleNilReceiver()
|
| D | CStringChecker.cpp | 704 if (ExplodedNode *N = C.addTransition(state)) { in getCStringLength()
764 if (ExplodedNode *N = C.addTransition(state)) { in getCStringLength()
922 C.addTransition(stateZeroSize); in evalCopyCommon()
999 C.addTransition(state); in evalCopyCommon()
1078 C.addTransition(state); in evalMemcmp()
1105 C.addTransition(state); in evalMemcmp()
1118 C.addTransition(state); in evalMemcmp()
1161 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1256 C.addTransition(state); in evalstrLengthCommon()
1427 C.addTransition(StateZeroSize); in evalStrcpyCommon()
[all …]
|
| D | BasicObjCFoundationChecks.cpp | 465 : C.addTransition()) { in checkPreStmt()
576 C.addTransition(stateFalse); in checkPreStmt()
619 if (ExplodedNode *N = C.addTransition()) { in checkPreObjCMessage()
761 errorNode = C.addTransition(); in checkPreObjCMessage()
988 C.addTransition(State); in checkPostStmt()
1044 C.addTransition(State); in checkPostObjCMessage()
1130 C.addTransition(State); in checkDeadSymbols()
1209 C.addTransition(State); in checkPostObjCMessage()
|
| D | GenericTaintChecker.cpp | 311 C.addTransition(State); in addSourcesPre()
324 C.addTransition(State); in addSourcesPre()
363 C.addTransition(State); in propagateFromPre()
402 C.addTransition(State); in addSourcesPost()
648 if (ExplodedNode *N = C.addTransition()) { in generateReportIfTainted()
|
| D | StreamChecker.cpp | 230 C.addTransition(stateNotNull); in OpenFileAux()
231 C.addTransition(stateNull); in OpenFileAux()
238 C.addTransition(state); in Fclose()
271 if (ExplodedNode *N = C.addTransition(state)) { in Fseek()
|
| D | TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) { in checkPostStmt()
|
| D | NSAutoreleasePoolChecker.cpp | 65 ExplodedNode *N = C.addTransition(); in checkPreObjCMessage()
|
| D | FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) { in checkPreStmt()
|
| D | PointerArithChecker.cpp | 54 if (ExplodedNode *N = C.addTransition()) { in checkPreStmt()
|
| D | PointerSubChecker.cpp | 63 if (ExplodedNode *N = C.addTransition()) { in checkPreStmt()
|
| D | CastToStructChecker.cpp | 59 if (ExplodedNode *N = C.addTransition()) { in checkPreStmt()
|
| D | DereferenceChecker.cpp | 222 C.addTransition(notNullState); in checkLocation()
276 C.addTransition(State, this); in checkBind()
|
| D | ArrayBoundChecker.cpp | 87 C.addTransition(StInBound); in checkLocation()
|
| D | DivZeroChecker.cpp | 87 C.addTransition(stateNotZero); in checkPreStmt()
|
| D | UnixAPIChecker.cpp | 262 C.addTransition(trueState); in BasicAllocationCheck()
298 C.addTransition(trueState); in CheckCallocZero()
|
| /freebsd-10-stable/contrib/llvm/utils/TableGen/ |
| D | DFAPacketizerEmitter.cpp | 115 void addTransition(unsigned InsnClass, State *To);
173 void State::addTransition(unsigned InsnClass, State *To) { in addTransition() function in State
508 current->addTransition(InsnClass, NewState); in run()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 203 ExplodedNode *addTransition(ProgramStateRef State = 0,
215 ExplodedNode *addTransition(ProgramStateRef State,
|