OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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