| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 119 /// \param SR The SymbolReaper object can be queried to determine which
123 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {}
180 /// Allows modifying SymbolReaper object. For example, checkers can explicitly
185 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
|
| StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
407 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
409 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
|
| MacOSKeychainAPIChecker.cpp | 61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
561 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR,
|
| CStringChecker.cpp | 60 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
[all...] |
| MallocChecker.cpp | 121 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
899 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper,
[all...] |
| RetainCountChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 54 SymbolReaper& SymReaper) = 0;
|
| Environment.h | 131 SymbolReaper &SymReaper,
|
| SymbolManager.h | 556 class SymbolReaper {
579 SymbolReaper(const LocationContext *ctx, const Stmt *s, SymbolManager& symmgr,
583 ~SymbolReaper() {}
|
| Store.h | 153 SymbolReaper& SymReaper) = 0;
|
| ProgramState.h | 489 SymbolReaper& SymReaper);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SymbolManager.cpp | 388 void SymbolReaper::markDependentsLive(SymbolRef sym) {
406 void SymbolReaper::markLive(SymbolRef sym) {
412 void SymbolReaper::markLive(const MemRegion *region) {
416 void SymbolReaper::markInUse(SymbolRef sym) {
421 bool SymbolReaper::maybeDead(SymbolRef sym) {
429 bool SymbolReaper::isLiveRegion(const MemRegion *MR) {
457 bool SymbolReaper::isLive(SymbolRef sym) {
496 SymbolReaper::isLive(const Stmt *ExprVal, const LocationContext *ELCtx) const {
508 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{
520 const_cast<SymbolReaper*>(this)->includedRegionCache[VR]
[all...] |
| Environment.cpp | 152 SymbolReaper &SymReaper;
154 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
178 // - Mark their reachable symbols live in SymbolReaper,
183 SymbolReaper &SymReaper,
|
| BasicConstraintManager.cpp | 109 SymbolReaper& SymReaper);
308 SymbolReaper& SymReaper) {
|
| CheckerManager.cpp | 372 SymbolReaper &SymReaper) {
381 SymbolReaper &SR;
388 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
407 SymbolReaper &SymReaper,
|
| RangeConstraintManager.cpp | 244 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
270 SymbolReaper& SymReaper) {
|
| RegionStore.cpp | 392 SymbolReaper& SymReaper);
[all...] |
| ProgramState.cpp | 82 SymbolReaper& SymReaper) {
|
| ExprEngine.cpp | 280 SymbolReaper SymReaper(LC, currentStmt, SymMgr, getStoreManager());
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 45 class SymbolReaper;
261 /// Allows modifying SymbolReaper object. For example, checkers can explicitly
265 SymbolReaper &SymReaper);
274 SymbolReaper &SymReaper, const Stmt *S,
366 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
369 typedef CheckerFn<void (ProgramStateRef,SymbolReaper &)> CheckLiveSymbolsFunc;
|
| Checker.h | 234 SymbolReaper &SR) {
249 SymbolReaper &SR, CheckerContext &C) {
|
