HomeSort by relevance Sort by last modified time
    Searched refs:scanReachableSymbols (Results 1 - 6 of 6) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 296 /// This is a convenience API. Consider using ScanReachableSymbols class
299 /// \sa ScanReachableSymbols
300 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
304 bool scanReachableSymbols(const SVal *I, const SVal *E,
309 bool scanReachableSymbols(const MemRegion * const *I,
313 template <typename CB> CB scanReachableSymbols(SVal val) const;
314 template <typename CB> CB scanReachableSymbols(const SVal *beg,
318 scanReachableSymbols(const MemRegion * const *beg,
776 CB ProgramState::scanReachableSymbols(SVal val) const {
778 scanReachableSymbols(val, cb)
    [all...]
Store.h 36 class ScanReachableSymbols;
210 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
211 ScanReachableSymbols &Visitor) = 0;
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 529 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
537 bool ScanReachableSymbols::scan(const SymExpr *sym) {
568 bool ScanReachableSymbols::scan(SVal val) {
576 // arithmetic doesn't apply, but scanReachableSymbols only accepts base
578 if (!StoreMgr.scanReachableSymbols(X->getStore(),
599 bool ScanReachableSymbols::scan(const MemRegion *R) {
626 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
644 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const {
645 ScanReachableSymbols S(this, visitor);
649 bool ProgramState::scanReachableSymbols(const SVal *I, const SVal *E
    [all...]
RegionStore.cpp 408 bool scanReachableSymbols(Store S, const MemRegion *R,
409 ScanReachableSymbols &Callbacks);
743 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
744 ScanReachableSymbols &Callbacks) {
    [all...]
ExprEngine.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
MallocChecker.cpp     [all...]

Completed in 93 milliseconds