| /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,
451 const SVal &cond,
542 SVal Location;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UnixAPIChecker.cpp | 131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
218 const SVal argVal,
268 SVal argVal = state->getSVal(arg, C.getLocationContext());
296 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
| /external/compiler-rt/lib/asan/ |
| asan_poisoning.cc | 275 u8 sval = *reinterpret_cast<u8*>(s); local
276 if (sval == kAsanArrayCookieMagic) return *p;
277 // If sval is not kAsanArrayCookieMagic it can only be freed memory,
281 // CHECK_EQ(sval, kAsanHeapFreeMagic);
282 if (sval == kAsanHeapFreeMagic) {
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4393122/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4479392/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4579689/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4630689/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4639204/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,
446 const SVal &cond,
537 SVal Location;
|
| /prebuilts/clang/host/linux-x86/clang-4691093/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,
446 const SVal &cond,
537 SVal Location;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 183 SVal getSVal(const Stmt *S) const {
188 typedef SmallVectorImpl<SVal> ValueList;
269 virtual SVal getArgSVal(unsigned Index) const;
287 SVal getReturnValue() const;
351 typedef std::pair<Loc, SVal> FrameBindingTy;
630 virtual SVal getCXXThisVal() const;
759 SVal getCXXThisVal() const override;
815 SVal getCXXThisVal() const;
930 SVal getReceiverSVal() const;
933 SVal getSelfSVal() const
[all...] |
| /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,
572 SVal Cond, bool Assumption)
[all...] |
| /external/clang/www/analyzer/ |
| checker_dev_manual.html | 129 During symbolic execution, <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1SVal.html">SVal</a>
138 number. In some cases, <tt>SVal</tt> is not a symbol, but it really should be
141 <tt>SVal</tt> will evaluate to <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1UnknownVal.html">UnknownVal</a>.
179 we first construct an <tt>SVal</tt> that represents the lvalue of <tt>x</tt>, in
180 this case it is an <tt>SVal</tt> that references the <tt>MemRegion</tt> for <tt>x</tt>.
181 Afterwards, when we do the lvalue-to-rvalue conversion, we get a new <tt>SVal</tt>,
185 and get an <tt>SVal</tt> that references the concrete number <tt>2</tt>. When
187 and create a new <tt>SVal</tt> that represents their multiplication (which in
190 and then bind the <tt>SVal</tt> for the RHS (which references the symbolic value <tt>$1</tt>)
194 dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>SVals</tt>
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 185 SVal getSVal(const Stmt *S) const {
190 typedef SmallVectorImpl<SVal> ValueList;
271 virtual SVal getArgSVal(unsigned Index) const;
289 SVal getReturnValue() const;
353 typedef std::pair<Loc, SVal> FrameBindingTy;
632 virtual SVal getCXXThisVal() const;
761 SVal getCXXThisVal() const override;
817 SVal getCXXThisVal() const;
932 SVal getReceiverSVal() const;
935 SVal getSelfSVal() const
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 185 SVal getSVal(const Stmt *S) const {
190 typedef SmallVectorImpl<SVal> ValueList;
271 virtual SVal getArgSVal(unsigned Index) const;
289 SVal getReturnValue() const;
353 typedef std::pair<Loc, SVal> FrameBindingTy;
632 virtual SVal getCXXThisVal() const;
761 SVal getCXXThisVal() const override;
817 SVal getCXXThisVal() const;
932 SVal getReceiverSVal() const;
935 SVal getSelfSVal() const
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 185 SVal getSVal(const Stmt *S) const {
190 typedef SmallVectorImpl<SVal> ValueList;
271 virtual SVal getArgSVal(unsigned Index) const;
289 SVal getReturnValue() const;
353 typedef std::pair<Loc, SVal> FrameBindingTy;
632 virtual SVal getCXXThisVal() const;
761 SVal getCXXThisVal() const override;
817 SVal getCXXThisVal() const;
932 SVal getReceiverSVal() const;
935 SVal getSelfSVal() const
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 185 SVal getSVal(const Stmt *S) const {
190 typedef SmallVectorImpl<SVal> ValueList;
271 virtual SVal getArgSVal(unsigned Index) const;
289 SVal getReturnValue() const;
353 typedef std::pair<Loc, SVal> FrameBindingTy;
619 virtual SVal getCXXThisVal() const;
748 SVal getCXXThisVal() const override;
804 SVal getCXXThisVal() const;
919 SVal getReceiverSVal() const;
922 SVal getSelfSVal() const
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 185 SVal getSVal(const Stmt *S) const {
190 typedef SmallVectorImpl<SVal> ValueList;
271 virtual SVal getArgSVal(unsigned Index) const;
289 SVal getReturnValue() const;
353 typedef std::pair<Loc, SVal> FrameBindingTy;
619 virtual SVal getCXXThisVal() const;
748 SVal getCXXThisVal() const override;
804 SVal getCXXThisVal() const;
919 SVal getReceiverSVal() const;
922 SVal getSelfSVal() const
[all...] |
