| /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 | 80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
185 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
| StreamChecker.cpp | 75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
395 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
398 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
|
| MacOSKeychainAPIChecker.cpp | 59 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
548 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR,
|
| CStringChecker.cpp | 62 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
[all...] |
| BasicObjCFoundationChecks.cpp | 808 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| MallocChecker.cpp | 190 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SymbolManager.cpp | 373 void SymbolReaper::markDependentsLive(SymbolRef sym) {
391 void SymbolReaper::markLive(SymbolRef sym) {
397 void SymbolReaper::markLive(const MemRegion *region) {
401 void SymbolReaper::markInUse(SymbolRef sym) {
406 bool SymbolReaper::maybeDead(SymbolRef sym) {
414 bool SymbolReaper::isLiveRegion(const MemRegion *MR) {
442 bool SymbolReaper::isLive(SymbolRef sym) {
491 SymbolReaper::isLive(const Stmt *ExprVal, const LocationContext *ELCtx) const {
510 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{
532 const_cast<SymbolReaper*>(this)->includedRegionCache[VR]
[all...] |
| Environment.cpp | 123 SymbolReaper &SymReaper;
125 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
141 // - Mark their reachable symbols live in SymbolReaper,
146 SymbolReaper &SymReaper,
|
| CheckerManager.cpp | 413 SymbolReaper &SymReaper) {
422 SymbolReaper &SR;
430 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
452 SymbolReaper &SymReaper,
|
| RangeConstraintManager.cpp | 318 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
368 SymbolReaper& SymReaper) {
|
| RegionStore.cpp | 561 SymbolReaper& SymReaper);
[all...] |
| ProgramState.cpp | 92 SymbolReaper& SymReaper) {
|
| ExprEngine.cpp | 332 && "PostStmt is not generally supported by the SymbolReaper yet");
343 // LC is the location context being destroyed, but SymbolReaper wants a
353 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
| Environment.h | 120 SymbolReaper &SymReaper,
|
| SymbolManager.h | 560 class SymbolReaper {
590 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
595 ~SymbolReaper() {}
|
| Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| ProgramState.h | 515 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 47 class SymbolReaper;
320 /// Allows modifying SymbolReaper object. For example, checkers can explicitly
324 SymbolReaper &SymReaper);
333 SymbolReaper &SymReaper, const Stmt *S,
450 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
453 typedef CheckerFn<void (ProgramStateRef,SymbolReaper &)> CheckLiveSymbolsFunc;
|
| Checker.h | 264 SymbolReaper &SR) {
279 SymbolReaper &SR, CheckerContext &C) {
|
