#include "ClangSACheckers.h"#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"#include "clang/StaticAnalyzer/Core/Checker.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
Include dependency graph for SimpleStreamChecker.cpp:
Go to the source code of this file.
Functions | |
| static bool | isLeaked (SymbolRef Sym, const StreamState &SS, bool IsSymDead, ProgramStateRef State) |
Function Documentation
| static bool isLeaked | ( | SymbolRef | Sym, |
| const StreamState & | SS, | ||
| bool | IsSymDead, | ||
| ProgramStateRef | State | ||
| ) | [static] |
Definition at line 172 of file SimpleStreamChecker.cpp.
References clang::ento::ConditionTruthVal::isConstrainedTrue(), and clang::ento::ConstraintManager::isNull().