maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] Clean up the program state map of DanglingInternalBufferChecker. 

Symbols are cleaned up from the program state map when they go out of scope.
Memory regions are cleaned up when the corresponding object is destroyed, and
additionally in 'checkDeadSymbols' in case destructor modeling was incomplete.

Differential Revision: https://reviews.llvm.org/D47416

llvm-svn: 334352
This commit is contained in:
Reka Kovacs 2018-06-09 21:08:27 +00:00
parent 5297506625
commit 7ff6a8a316
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
clang/lib/StaticAnalyzer/Checkers/DanglingInternalBufferChecker.cpp
View File

@ -26,7 +26,8 @@ using namespace ento;
namespace {
class DanglingInternalBufferChecker : public Checker<check::PostCall> {
class DanglingInternalBufferChecker : public Checker<check::DeadSymbols,
check::PostCall> {
CallDescription CStrFn;
public:
@ -36,6 +37,9 @@ public:
/// corresponding string object region in the ProgramState. Mark the symbol
/// released if the string object is destroyed.
void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
/// Clean up the ProgramState map.
void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
};
} // end anonymous namespace
@ -76,12 +80,29 @@ void DanglingInternalBufferChecker::checkPostCall(const CallEvent &Call,
// FIXME: What if Origin is null?
const Expr *Origin = Call.getOriginExpr();
State = allocation_state::markReleased(State, *StrBufferPtr, Origin);
State = State->remove<RawPtrMap>(TypedR);
C.addTransition(State);
return;
}
}
}
void DanglingInternalBufferChecker::checkDeadSymbols(SymbolReaper &SymReaper,
CheckerContext &C) const {
ProgramStateRef State = C.getState();
RawPtrMapTy RPM = State->get<RawPtrMap>();
for (const auto Entry : RPM) {
if (!SymReaper.isLive(Entry.second))
State = State->remove<RawPtrMap>(Entry.first);
if (!SymReaper.isLiveRegion(Entry.first)) {
// Due to incomplete destructor support, some dead regions might still
// remain in the program state map. Clean them up.
State = State->remove<RawPtrMap>(Entry.first);
}
}
C.addTransition(State);
}
void ento::registerDanglingInternalBufferChecker(CheckerManager &Mgr) {
registerNewDeleteChecker(Mgr);
Mgr.registerChecker<DanglingInternalBufferChecker>();