|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"#include "PrettyStackTraceLocationContext.h"#include "clang/AST/CharUnits.h"#include "clang/AST/ParentMap.h"#include "clang/AST/StmtCXX.h"#include "clang/AST/StmtObjC.h"#include "clang/Basic/Builtins.h"#include "clang/Basic/PrettyStackTrace.h"#include "clang/Basic/SourceManager.h"#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"#include "clang/StaticAnalyzer/Core/CheckerManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h"#include "llvm/ADT/Statistic.h"#include "llvm/Support/SaveAndRestore.h"#include "llvm/Support/raw_ostream.h"#include "llvm/Support/GraphWriter.h"Go to the source code of this file.
Classes | |
| struct | llvm::DOTGraphTraits< ExplodedNode * > |
Namespaces | |
| llvm | |
| DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators. | |
Macros | |
| #define | DEBUG_TYPE "ExprEngine" |
Typedefs | |
| typedef std::pair< const CXXBindTemporaryExpr *, const StackFrameContext * > | CXXBindTemporaryContext |
Functions | |
| STATISTIC (NumRemoveDeadBindings,"The # of times RemoveDeadBindings is called") | |
| STATISTIC (NumMaxBlockCountReached,"The # of aborted paths due to reaching the maximum block count in ""a top level function") | |
| STATISTIC (NumMaxBlockCountReachedInInlined,"The # of aborted paths due to reaching the maximum block count in ""an inlined function") | |
| STATISTIC (NumTimesRetriedWithoutInlining,"The # of times we re-evaluated a call without inlining") | |
| REGISTER_TRAIT_WITH_PROGRAMSTATE (InitializedTemporariesSet, llvm::ImmutableSet< CXXBindTemporaryContext >) static const char *TagProviderName | |
| static bool | shouldRemoveDeadBindings (AnalysisManager &AMgr, const CFGStmt S, const ExplodedNode *Pred, const LocationContext *LC) |
| static SVal | RecoverCastedSymbol (ProgramStateManager &StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) |
| RecoverCastedSymbol - A helper function for ProcessBranch that is used to try to recover some path-sensitivity for casts of symbolic integers that promote their values (which are currently not tracked well). More... | |
| static const Stmt * | getRightmostLeaf (const Stmt *Condition) |
| static const Stmt * | ResolveCondition (const Stmt *Condition, const CFGBlock *B) |
| REGISTER_TRAIT_WITH_PROGRAMSTATE (InitializedGlobalsSet, llvm::ImmutableSet< const VarDecl * >) void ExprEngine | |
| The GDM component containing the set of global variables which have been previously initialized with explicit initializers. More... | |
Variables | |
| static ExprEngine * | GraphPrintCheckerState |
| static SourceManager * | GraphPrintSourceManager |
| #define DEBUG_TYPE "ExprEngine" |
Definition at line 42 of file ExprEngine.cpp.
| typedef std::pair<const CXXBindTemporaryExpr *, const StackFrameContext *> CXXBindTemporaryContext |
Definition at line 56 of file ExprEngine.cpp.
Definition at line 1597 of file ExprEngine.cpp.
References clang::BinaryOperator::getRHS(), clang::Expr::IgnoreParens(), and clang::BinaryOperator::isLogicalOp().
Referenced by ResolveCondition().
|
static |
RecoverCastedSymbol - A helper function for ProcessBranch that is used to try to recover some path-sensitivity for casts of symbolic integers that promote their values (which are currently not tracked well).
This function returns the SVal bound to Condition->IgnoreCasts if all the
Definition at line 1558 of file ExprEngine.cpp.
References clang::Expr::getType(), clang::ASTContext::getTypeSize(), and clang::Type::isIntegralOrEnumerationType().
Referenced by clang::ento::ExprEngine::processBranch().
| REGISTER_TRAIT_WITH_PROGRAMSTATE | ( | InitializedTemporariesSet | , |
| llvm::ImmutableSet< CXXBindTemporaryContext > | |||
| ) | const |
| REGISTER_TRAIT_WITH_PROGRAMSTATE | ( | InitializedGlobalsSet | , |
| llvm::ImmutableSet< const VarDecl * > | |||
| ) |
The GDM component containing the set of global variables which have been previously initialized with explicit initializers.
Definition at line 1755 of file ExprEngine.cpp.
References clang::CodeGen::state.
Definition at line 1623 of file ExprEngine.cpp.
References E, clang::CFGElement::getAs(), getRightmostLeaf(), clang::CFGBlock::getTerminator(), I, clang::BinaryOperator::isLogicalOp(), clang::CFGTerminator::isTemporaryDtorsBranch(), clang::CFGBlock::rbegin(), and clang::CFGBlock::rend().
Referenced by clang::ento::ExprEngine::processBranch().
|
static |
Definition at line 370 of file ExprEngine.cpp.
References clang::AnalyzerOptions::AnalysisPurgeOpt, clang::LocationContext::getAnalysisDeclContext(), clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getLocation(), clang::AnalysisDeclContext::getParentMap(), clang::CFGStmt::getStmt(), clang::ento::CallEvent::isCallStmt(), clang::ParentMap::isConsumedExpr(), and clang::ento::AnalysisManager::options.
Referenced by clang::ento::ExprEngine::ProcessStmt().
| STATISTIC | ( | NumRemoveDeadBindings | , |
| "The # of times RemoveDeadBindings is called" | |||
| ) |
| STATISTIC | ( | NumMaxBlockCountReached | , |
| "The # of aborted paths due to reaching the maximum block count in ""a top level function" | |||
| ) |
| STATISTIC | ( | NumMaxBlockCountReachedInInlined | , |
| "The # of aborted paths due to reaching the maximum block count in ""an inlined function" | |||
| ) |
| STATISTIC | ( | NumTimesRetriedWithoutInlining | , |
| "The # of times we re-evaluated a call without inlining" | |||
| ) |
|
static |
Definition at line 2593 of file ExprEngine.cpp.
Referenced by clang::ento::ExprEngine::ViewGraph().
|
static |
Definition at line 2594 of file ExprEngine.cpp.
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), llvm::DOTGraphTraits< ExplodedNode * >::printLocation(), llvm::DOTGraphTraits< ExplodedNode * >::printLocation2(), and clang::ento::ExprEngine::ViewGraph().
1.8.6