| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCallAndReturn.cpp | 82 SVal V = state->getSVal(RS, LCtx);
91 SVal ThisV = state->getSVal(ThisR);
308 SVal CalleeVal = Call.getFunctionCallee();
323 SVal V = Call.getArgSVal(idx);
429 SVal L = state->getSVal(Callee, Pred->getLocationContext());
445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count);
|
| SimpleConstraintManager.h | 82 bool canReasonAbout(SVal X) const;
|
| CheckerManager.cpp | 223 SVal Loc;
233 SVal loc, bool isLoad, const Stmt *NodeEx,
257 SVal location, bool isLoad,
270 SVal Loc;
271 SVal Val;
280 SVal loc, SVal val, const Stmt *s, ExprEngine &eng,
298 SVal location, SVal val,
444 SVal Cond, bool Assumption)
[all...] |
| BugReporterVisitors.cpp | 323 SVal V = state->getSVal(loc::MemRegionVal(R));
331 SVal V = state->getSValAsScalarOrLoc(S, N->getLocationContext());
359 SVal V = state->getSVal(R);
381 const SVal &V = state->getSVal(Receiver, N->getLocationContext());
420 SVal V = state->getSVal(S, N->getLocationContext());
576 SVal V = state->getSVal(R);
777 SVal V = state->getSVal(R);
|
| MemRegion.cpp | 342 QualType ElementType, SVal Idx,
908 SVal index = ER->getIndex();
944 SVal index = ER->getIndex();
997 SVal Index = ER->getIndex();
[all...] |
| SimpleConstraintManager.cpp | 25 bool SimpleConstraintManager::canReasonAbout(SVal X) const {
|
| PathDiagnostic.cpp | 689 SVal SV = State->getSVal(*I, LCtx);
699 SVal PSV = State->getSVal(Reg->getRegion());
708 SVal SV = State->getSVal(CE, LCtx);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 101 SVal V;
116 FindLastStoreBRVisitor(SVal v, const MemRegion *r)
|
| BugReporter.h | 147 void markInteresting(SVal V);
151 bool isInteresting(SVal V) const;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CastSizeChecker.cpp | 57 SVal extent = SR->getExtent(svalBuilder);
|
| DivZeroChecker.cpp | 64 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
| NoReturnFunctionChecker.cpp | 45 SVal L = state->getSVal(Callee, C.getLocationContext());
|
| UndefBranchChecker.cpp | 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
| UndefCapturedBlockVarChecker.cpp | 79 SVal VRVal = state->getSVal(VR);
|
| DereferenceChecker.cpp | 34 void checkLocation(SVal location, bool isLoad, const Stmt* S,
79 void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S,
|
| BasicObjCFoundationChecks.cpp | 64 static inline bool isNil(SVal X) {
267 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
285 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
387 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
|
| ChrootChecker.cpp | 108 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext());
|
| GenericTaintChecker.cpp | 425 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext());
435 SVal Val = State->getSVal(*AddrLoc,
552 SVal x = State->getSVal(CE->getArg(1), C.getLocationContext());
572 SVal Val = State->getSVal(E, C.getLocationContext());
|
| StreamChecker.cpp | 99 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
350 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,
|
| RetainCountChecker.cpp | [all...] |
| IdempotentOperationChecker.cpp | 147 SVal LHSVal = state->getSVal(LHS, LCtx);
148 SVal RHSVal = state->getSVal(RHS, LCtx);
157 // Dereference the LHS SVal if this is an assign operation
|
| IteratorsChecker.cpp | 257 SVal sv = state->getSVal(lexp, LC);
537 // it should resolve to an SVal that we can check for validity
577 SVal tsv = C.getState()->getSVal(DRE, C.getLocationContext());
|
| MacOSKeychainAPIChecker.cpp | 228 SVal ArgV = State->getSVal(Expr, C.getLocationContext());
335 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 156 const SVal &location, bool isLoad, const Stmt *S,
172 const SVal &location, const SVal &val, const Stmt *S,
312 const SVal &cond,
431 SVal Location;
|
| /external/clang/lib/AST/ |
| ExprConstant.cpp | [all...] |
