| /external/valgrind/helgrind/ |
| libhb_core.c | 106 SVal. */
115 // data decls: SVal //
120 typedef ULong SVal;
368 static inline Bool SVal__isC ( SVal s );
369 static inline VtsID SVal__unC_Rmin ( SVal s );
370 static inline VtsID SVal__unC_Wmin ( SVal s );
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
372 static inline void SVal__rcinc ( SVal s );
373 static inline void SVal__rcdec ( SVal s );
374 /* SVal in LineZ are used to store various pointers. *
1402 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon25462
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 158 SVal getSVal(const Stmt *S) const {
163 typedef SmallVectorImpl<SVal> ValueList;
237 virtual SVal getArgSVal(unsigned Index) const;
255 SVal getReturnValue() const;
319 typedef std::pair<Loc, SVal> FrameBindingTy;
598 virtual SVal getCXXThisVal() const;
727 SVal getCXXThisVal() const override;
783 SVal getCXXThisVal() const;
898 SVal getReceiverSVal() const;
901 SVal getSelfSVal() const
[all...] |
| ConstraintManager.h | 169 /// all SVal values. This method returns true if the ConstraintManager can
170 /// reasonably handle a given SVal value. This is typically queried by
173 virtual bool canReasonAbout(SVal X) const = 0;
|
| CheckerContext.h | 195 SVal getSVal(const Stmt *S) const {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 292 SVal Loc;
302 SVal loc, bool isLoad, const Stmt *NodeEx,
326 SVal location, bool isLoad,
339 SVal Loc;
340 SVal Val;
349 SVal loc, SVal val, const Stmt *s, ExprEngine &eng,
366 SVal location, SVal val,
538 SVal Cond, bool Assumption)
[all...] |
| SimpleConstraintManager.h | 106 bool canReasonAbout(SVal X) const override;
|
| ExprEngineCallAndReturn.cpp | 124 static SVal adjustReturnValue(SVal V, QualType ExpectedTy, QualType ActualTy,
199 static bool isTemporaryPRValue(const CXXConstructExpr *E, SVal V) {
247 SVal V = state->getSVal(RS, LCtx);
268 SVal ThisV = state->getSVal(This);
556 SVal ThisV = C->getCXXThisVal();
569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
[all...] |
| BugReporterVisitors.cpp | 202 SVal RetVal = State->getSVal(S, Node->getLocationContext());
249 SVal V = State->getSVal(Ret, StackFrame);
263 SVal RValue = State->getRawSVal(*LValue, RetE->getType());
562 SVal V = State->getSVal(S, PS->getLocationContext());
[all...] |
| SimpleConstraintManager.cpp | 26 bool SimpleConstraintManager::canReasonAbout(SVal X) const {
|
| MemRegion.cpp | 348 QualType ElementType, SVal Idx,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CastSizeChecker.cpp | 116 SVal extent = SR->getExtent(svalBuilder);
|
| ReturnUndefChecker.cpp | 44 SVal RetVal = C.getSVal(RetE);
|
| MallocChecker.cpp | 207 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
209 void checkLocation(SVal l, bool isLoad, const Stmt *S,
280 const Expr *SizeEx, SVal Init,
284 SVal SizeEx, SVal Init,
363 static bool SummarizeValue(raw_ostream &os, SVal V);
365 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
367 void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
372 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
707 const SVal V = State->getSVal(FlagsEx, C.getLocationContext())
[all...] |
| NullabilityChecker.cpp | 112 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
197 /// If an SVal wraps a region that should be tracked, it will return a pointer
199 const SymbolicRegion *getTrackRegion(SVal Val,
260 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const {
671 SVal Receiver = M.getReceiverSVal();
[all...] |
| ChrootChecker.cpp | 108 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext());
|
| BasicObjCFoundationChecks.cpp | 445 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
465 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
574 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
891 SVal CollectionVal = C.getSVal(FCS->getCollection());
937 SVal Val = State->getSVal(*ElementLoc);
[all...] |
| GenericTaintChecker.cpp | 429 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext());
439 SVal Val = State->getSVal(*AddrLoc,
575 SVal Val = State->getSVal(E, C.getLocationContext());
|
| StreamChecker.cpp | 97 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
341 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,
|
| NonNullParamChecker.cpp | 96 SVal V = Call.getArgSVal(idx);
|
| MacOSKeychainAPIChecker.cpp | 217 SVal ArgV = State->getSVal(Expr, C.getLocationContext());
336 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 197 const SVal &location, bool isLoad, const Stmt *S,
213 const SVal &location, const SVal &val, const Stmt *S,
437 const SVal &cond,
528 SVal Location;
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 199 void markInteresting(SVal V);
204 bool isInteresting(SVal V);
|
| BugReporterVisitor.h | 101 SVal V;
|
| /external/llvm/lib/Support/ |
| MD5.cpp | 226 ArrayRef<uint8_t> SVal((const uint8_t *)Str.data(), Str.size());
227 update(SVal);
|
| /prebuilts/gcc/linux-x86/host/x86_64-w64-mingw32-4.8/x86_64-w64-mingw32/include/ |
| rpcasync.h | 96 short SVal;
|
