| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 151 /// \param SR The SymbolReaper object can be queried to determine which
155 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {}
211 /// Allows modifying SymbolReaper object. For example, checkers can explicitly
216 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
|
| SimpleStreamChecker.cpp | 79 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
| StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
399 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
402 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
|
| MacOSKeychainAPIChecker.cpp | 59 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
558 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR,
|
| CStringChecker.cpp | 64 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
65 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
[all...] |
| BasicObjCFoundationChecks.cpp | 852 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| MallocChecker.cpp | 205 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SymbolManager.cpp | 368 void SymbolReaper::markDependentsLive(SymbolRef sym) {
386 void SymbolReaper::markLive(SymbolRef sym) {
392 void SymbolReaper::markLive(const MemRegion *region) {
396 void SymbolReaper::markInUse(SymbolRef sym) {
401 bool SymbolReaper::maybeDead(SymbolRef sym) {
409 bool SymbolReaper::isLiveRegion(const MemRegion *MR) {
440 bool SymbolReaper::isLive(SymbolRef sym) {
489 SymbolReaper::isLive(const Stmt *ExprVal, const LocationContext *ELCtx) const {
508 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{
530 const_cast<SymbolReaper*>(this)->includedRegionCache[VR]
[all...] |
| Environment.cpp | 124 SymbolReaper &SymReaper;
126 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
142 // - Mark their reachable symbols live in SymbolReaper,
147 SymbolReaper &SymReaper,
|
| CheckerManager.cpp | 413 SymbolReaper &SymReaper) {
422 SymbolReaper &SR;
430 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
452 SymbolReaper &SymReaper,
|
| RangeConstraintManager.cpp | 320 SymbolReaper& SymReaper) override;
370 SymbolReaper& SymReaper) {
|
| RegionStore.cpp | 563 SymbolReaper& SymReaper) override;
[all...] |
| ProgramState.cpp | 92 SymbolReaper& SymReaper) {
|
| ExprEngine.cpp | 348 && "PostStmt is not generally supported by the SymbolReaper yet");
359 // LC is the location context being destroyed, but SymbolReaper wants a
369 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
| Environment.h | 119 SymbolReaper &SymReaper,
|
| Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| SymbolManager.h | 557 class SymbolReaper {
587 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
|
| ProgramState.h | 515 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 46 class SymbolReaper;
288 /// Allows modifying SymbolReaper object. For example, checkers can explicitly
292 SymbolReaper &SymReaper);
301 SymbolReaper &SymReaper, const Stmt *S,
420 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
423 typedef CheckerFn<void (ProgramStateRef,SymbolReaper &)> CheckLiveSymbolsFunc;
|
| Checker.h | 260 SymbolReaper &SR) {
275 SymbolReaper &SR, CheckerContext &C) {
|
