/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 36 class ScanReachableSymbols; 203 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 204 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 809 CB ProgramState::scanReachableSymbols(SVal val) const { 811 scanReachableSymbols(val, cb) [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
ProgramState.cpp | 508 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { 515 // arithmetic doesn't apply, but scanReachableSymbols only accepts base 518 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); 521 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { 529 bool ScanReachableSymbols::scan(const SymExpr *sym) { 559 bool ScanReachableSymbols::scan(SVal val) { 582 bool ScanReachableSymbols::scan(const MemRegion *R) { 607 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this)) 625 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { 626 ScanReachableSymbols S(this, visitor) [all...] |
Environment.cpp | 144 // see ScanReachableSymbols. 157 ScanReachableSymbols RSScaner(ST, CB);
|
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 326 bool scanReachableSymbols(const SVal *I, const SVal *E, 331 bool scanReachableSymbols(const MemRegion * const *I, 335 template <typename CB> CB scanReachableSymbols(SVal val) const; 336 template <typename CB> CB scanReachableSymbols(const SVal *beg, 340 scanReachableSymbols(const MemRegion * const *beg, 819 CB ProgramState::scanReachableSymbols(SVal val) const { 821 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|
/prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 35 class ScanReachableSymbols; 229 virtual bool scanReachableSymbols(Store S, const MemRegion *R, 230 ScanReachableSymbols &Visitor) = 0;
|