// accessors bool lookup(const std::string& name, Symbol& symbol) const { auto it = symbols.find(name); if (it == symbols.end()) { if (outer) { return outer->lookup(name, symbol); } else { return false; } } else { symbol = it->second; return true; } }
static void set(SymMap &symbols, const llvm::BasicBlock::iterator &it, Val v) { if (VERBOSITY() >= 2) { printf("Setting to %lx / %f: ", v.n, v.d); fflush(stdout); it->dump(); } SymMap::iterator f = symbols.find(it); if (f != symbols.end()) f->second = v; else symbols.insert(std::make_pair(static_cast<llvm::Value*>(&(*it)), v)); //#define SET(v) symbols.insert(std::make_pair(static_cast<llvm::Value*>(&(*it)), Val(v))) }
void StreamChecker::checkEndPath(CheckerContext &Ctx) const { const ProgramState *state = Ctx.getState(); typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap; SymMap M = state->get<StreamState>(); for (SymMap::iterator I = M.begin(), E = M.end(); I != E; ++I) { StreamState SS = I->second; if (SS.isOpened()) { ExplodedNode *N = Ctx.addTransition(state); if (N) { if (!BT_ResourceLeak) BT_ResourceLeak.reset(new BuiltinBug("Resource Leak", "Opened File never closed. Potential Resource leak.")); BugReport *R = new BugReport(*BT_ResourceLeak, BT_ResourceLeak->getDescription(), N); Ctx.EmitReport(R); } } } }
void StreamChecker::checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const { const GRState *state = B.getState(); typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap; SymMap M = state->get<StreamState>(); for (SymMap::iterator I = M.begin(), E = M.end(); I != E; ++I) { StreamState SS = I->second; if (SS.isOpened()) { ExplodedNode *N = B.generateNode(state); if (N) { if (!BT_ResourceLeak) BT_ResourceLeak.reset(new BuiltinBug("Resource Leak", "Opened File never closed. Potential Resource leak.")); BugReport *R = new BugReport(*BT_ResourceLeak, BT_ResourceLeak->getDescription(), N); Eng.getBugReporter().EmitReport(R); } } } }