| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExplodedGraph.h | 115 ProgramStateRef State;
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
155 const ProgramStateRef &getState() const { return State; }
164 const ProgramStateRef &state,
296 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
|
| Environment.h | 121 ProgramStateRef state);
|
| Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CallAndMessageChecker.cpp | 77 ProgramStateRef state,
162 const ProgramStateRef State = C.getState();
302 ProgramStateRef State = C.getState();
314 ProgramStateRef StNonNull, StNull;
355 ProgramStateRef State = C.getState();
369 ProgramStateRef StNonNull, StNull;
478 ProgramStateRef state = C.getState();
479 ProgramStateRef notNilState, nilState;
530 ProgramStateRef state,
|
| MacOSKeychainAPIChecker.cpp | 112 ProgramStateRef State,
118 ProgramStateRef State,
218 ProgramStateRef State = C.getState();
237 ProgramStateRef State,
244 ProgramStateRef ErrState = State->assume(NoErr, noError);
258 ProgramStateRef State = C.getState();
282 ProgramStateRef State = C.getState();
445 ProgramStateRef State = C.getState();
550 ProgramStateRef State = C.getState();
|
| ChrootChecker.cpp | 88 ProgramStateRef state = C.getState();
98 ProgramStateRef state = C.getState();
|
| NonNullParamChecker.cpp | 54 ProgramStateRef state = C.getState();
125 ProgramStateRef stateNotNull, stateNull;
|
| BuiltinFunctionChecker.cpp | 34 ProgramStateRef state = C.getState();
|
| UndefCapturedBlockVarChecker.cpp | 60 ProgramStateRef state = C.getState();
|
| UndefResultChecker.cpp | 40 ProgramStateRef state = C.getState();
|
| TestAfterDivZeroChecker.cpp | 118 ProgramStateRef State = Succ->getState();
153 ProgramStateRef State = C.getState();
185 ProgramStateRef State = C.getState();
|
| CastSizeChecker.cpp | 106 ProgramStateRef state = C.getState();
|
| ReturnUndefChecker.cpp | 105 ProgramStateRef StNonNull, StNull;
|
| DynamicTypePropagation.cpp | 54 ProgramStateRef State = C.getState();
114 ProgramStateRef State = C.getState();
|
| RetainCountChecker.cpp | 338 static inline const RefVal *getRefBinding(ProgramStateRef State,
343 static inline ProgramStateRef setRefBinding(ProgramStateRef State,
348 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {
726 ProgramStateRef State = nullptr);
736 ProgramStateRef State);
967 ProgramStateRef State) {
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCallAndReturn.cpp | 58 ProgramStateRef state = Pred->getState();
230 ProgramStateRef state = CEBNode->getState();
314 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState();
418 ProgramStateRef State) {
470 static ProgramStateRef getInlineFailedState(ProgramStateRef State,
535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call,
537 ProgramStateRef State) {
576 ProgramStateRef State) {
[all...] |
| CoreEngine.cpp | 165 ProgramStateRef InitState) {
273 ProgramStateRef InitState,
493 ProgramStateRef State,
609 ProgramStateRef State,
638 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State,
653 ProgramStateRef St,
673 ProgramStateRef St) {
689 SwitchNodeBuilder::generateDefaultCaseNode(ProgramStateRef St,
|
| ExplodedGraph.cpp | 125 ProgramStateRef state = node->getState();
126 ProgramStateRef pred_state = pred->getState();
302 ProgramStateRef State,
|
| CheckerManager.cpp | 412 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state,
461 bool CheckerManager::wantsRegionChangeUpdate(ProgramStateRef state) {
470 ProgramStateRef
471 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state,
488 ProgramStateRef
489 CheckerManager::runCheckersForPointerEscape(ProgramStateRef State,
509 ProgramStateRef
510 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state,
580 ProgramStateRef State,
|
| SimpleSValBuilder.cpp | 36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
38 SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
40 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
45 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
304 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
583 SVal SimpleSValBuilder::evalBinOpLL(ProgramStateRef state,
857 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state,
[all...] |
| BugReporterVisitors.cpp | 206 ProgramStateRef State = Node->getState();
252 ProgramStateRef State = N->getState();
359 ProgramStateRef State = N->getState();
565 ProgramStateRef State = StoreSite->getState();
939 ProgramStateRef state = N->getState();
[all...] |
| CallEvent.cpp | 138 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
139 ProgramStateRef Orig) const {
140 ProgramStateRef Result = (Orig ? Orig : getState());
901 CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State,
924 ProgramStateRef State) {
[all...] |
| SValBuilder.cpp | 304 SVal SValBuilder::makeSymExprValNN(ProgramStateRef State,
333 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
362 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
|
| Environment.cpp | 148 ProgramStateRef ST) {
|
| RegionStore.cpp | 570 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
[all...] |
