|
clang
5.0.0
|
Namespaces | |
| bugreporter | |
| categories | |
| check | |
| cocoa | |
| coreFoundation | |
| eval | |
| loc | |
| mpi | |
| nonloc | |
| objc_retain | |
| summMgr | |
Classes | |
| class | SValExplainer |
| class | BugReport |
| This class provides an interface through which checkers can create individual bug reports. More... | |
| class | BugReportEquivClass |
| class | BugReporterData |
| class | BugReporter |
| BugReporter is a utility class for generating PathDiagnostics for analysis. More... | |
| class | GRBugReporter |
| class | BugReporterContext |
| class | BugReporterVisitor |
| BugReporterVisitors are used to add custom diagnostics along a path. More... | |
| class | BugReporterVisitorImpl |
| This class provides a convenience implementation for clone() using the Curiously-Recurring Template Pattern. More... | |
| class | FindLastStoreBRVisitor |
| class | TrackConstraintBRVisitor |
| class | NilReceiverBRVisitor |
| Prints path notes when a message is sent to a nil receiver. More... | |
| class | ConditionBRVisitor |
| Visitor that tries to report interesting diagnostics from conditions. More... | |
| class | LikelyFalsePositiveSuppressionBRVisitor |
| Suppress reports that might lead to known false positives. More... | |
| class | UndefOrNullArgVisitor |
| When a region containing undefined value or '0' value is passed as an argument in a call, marks the call as interesting. More... | |
| class | SuppressInlineDefensiveChecksVisitor |
| class | CXXSelfAssignmentBRVisitor |
| class | BugType |
| class | BuiltinBug |
| class | PathDiagnosticConsumer |
| class | PathDiagnosticRange |
| class | PathDiagnosticLocation |
| class | PathDiagnosticLocationPair |
| class | PathDiagnosticPiece |
| class | PathPieces |
| class | PathDiagnosticSpotPiece |
| class | StackHintGenerator |
| Interface for classes constructing Stack hints. More... | |
| class | StackHintGeneratorForSymbol |
| Constructs a Stack hint for the given symbol. More... | |
| class | PathDiagnosticEventPiece |
| class | PathDiagnosticCallPiece |
| class | PathDiagnosticControlFlowPiece |
| class | PathDiagnosticMacroPiece |
| class | PathDiagnosticNotePiece |
| class | PathDiagnostic |
| PathDiagnostic - PathDiagnostic objects represent a single path-sensitive diagnostic. More... | |
| class | CheckerBase |
| class | CheckerProgramPointTag |
| Tag that can use a checker name as a message provider (see SimpleProgramPointTag). More... | |
| class | Checker |
| class | Checker< CHECK1 > |
| class | EventDispatcher |
| struct | ImplicitNullDerefEvent |
| We dereferenced a location that may be null. More... | |
| struct | DefaultBool |
| A helper class which wraps a boolean value set to false by default. More... | |
| class | CheckerFn |
| class | CheckerFn< RET(Ps...)> |
| class | CheckName |
| class | CheckerManager |
| class | CheckerOptInfo |
| Represents a request to include or exclude a checker or package from a specific analysis run. More... | |
| class | CheckerRegistry |
| Manages a set of available checkers for running a static analysis. More... | |
| class | AnalysisManager |
| class | APSIntType |
| A record of the "type" of an APSInt, used for conversions. More... | |
| class | CompoundValData |
| class | LazyCompoundValData |
| class | PointerToMemberData |
| class | BasicValueFactory |
| class | BlockCounter |
| An abstract data type used to count the number of times a given block has been visited along a path analyzed by CoreEngine. More... | |
| class | CallDescription |
| This class represents a description of a function call using the number of arguments and the name of the function. More... | |
| class | CallEventRef |
| class | RuntimeDefinition |
| Defines the runtime definition of the called function. More... | |
| class | CallEvent |
| Represents an abstract call to a function or method along a particular path. More... | |
| class | AnyFunctionCall |
| Represents a call to any sort of function that might have a FunctionDecl. More... | |
| class | SimpleFunctionCall |
| Represents a C function or static C++ member function call. More... | |
| class | CheckerContext |
| class | ConditionTruthVal |
| class | ConstraintManager |
| class | CoreEngine |
| CoreEngine - Implements the core logic of the graph-reachability analysis. More... | |
| struct | NodeBuilderContext |
| class | NodeBuilder |
| This is the simplest builder which generates nodes in the ExplodedGraph. More... | |
| class | NodeBuilderWithSinks |
| This node builder keeps track of the generated sink nodes. More... | |
| class | StmtNodeBuilder |
| This builder class is useful for generating nodes that resulted from visiting a statement. More... | |
| class | BranchNodeBuilder |
| BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false. More... | |
| class | IndirectGotoNodeBuilder |
| class | SwitchNodeBuilder |
| class | DynamicTypeInfo |
| Stores the currently inferred strictest bound on the runtime type of a region in a given state along the analysis path. More... | |
| struct | DynamicTypeMap |
| The GDM component containing the dynamic type info. More... | |
| struct | ProgramStateTrait< DynamicTypeMap > |
| class | EnvironmentEntry |
| An entry in the environment consists of a Stmt and an LocationContext. More... | |
| class | Environment |
| An immutable map from EnvironemntEntries to SVals. More... | |
| class | EnvironmentManager |
| class | ExplodedNode |
| class | ExplodedGraph |
| class | ExplodedNodeSet |
| class | ExprEngine |
| struct | ReplayWithoutInlining |
| Traits for storing the call processing policy inside GDM. More... | |
| struct | ProgramStateTrait< ReplayWithoutInlining > |
| class | FunctionSummariesTy |
| class | RegionOffset |
| Represent a region's offset within the top level base region. More... | |
| class | MemRegion |
| MemRegion - The root abstract class for all memory regions. More... | |
| class | MemSpaceRegion |
| MemSpaceRegion - A memory region that represents a "memory space"; for example, the set of global variables, the stack frame, etc. More... | |
| class | CodeSpaceRegion |
| CodeSpaceRegion - The memory space that holds the executable code of functions and blocks. More... | |
| class | GlobalsSpaceRegion |
| class | StaticGlobalSpaceRegion |
| The region of the static variables within the current CodeTextRegion scope. More... | |
| class | NonStaticGlobalSpaceRegion |
| The region for all the non-static global variables. More... | |
| class | GlobalSystemSpaceRegion |
| The region containing globals which are defined in system/external headers and are considered modifiable by system calls (ex: errno). More... | |
| class | GlobalImmutableSpaceRegion |
| The region containing globals which are considered not to be modified or point to data which could be modified as a result of a function call (system or internal). More... | |
| class | GlobalInternalSpaceRegion |
| The region containing globals which can be modified by calls to "internally" defined functions - (for now just) functions other then system calls. More... | |
| class | HeapSpaceRegion |
| class | UnknownSpaceRegion |
| class | StackSpaceRegion |
| class | StackLocalsSpaceRegion |
| class | StackArgumentsSpaceRegion |
| class | SubRegion |
| SubRegion - A region that subsets another larger region. More... | |
| class | AllocaRegion |
| AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'. More... | |
| class | TypedRegion |
| TypedRegion - An abstract class representing regions that are typed. More... | |
| class | TypedValueRegion |
| TypedValueRegion - An abstract class representing regions having a typed value. More... | |
| class | CodeTextRegion |
| class | FunctionCodeRegion |
| FunctionCodeRegion - A region that represents code texts of function. More... | |
| class | BlockCodeRegion |
| BlockCodeRegion - A region that represents code texts of blocks (closures). More... | |
| class | BlockDataRegion |
| BlockDataRegion - A region that represents a block instance. More... | |
| class | SymbolicRegion |
| SymbolicRegion - A special, "non-concrete" region. More... | |
| class | StringRegion |
| StringRegion - Region associated with a StringLiteral. More... | |
| class | ObjCStringRegion |
| The region associated with an ObjCStringLiteral. More... | |
| class | CompoundLiteralRegion |
| CompoundLiteralRegion - A memory region representing a compound literal. More... | |
| class | DeclRegion |
| class | VarRegion |
| class | CXXThisRegion |
| CXXThisRegion - Represents the region for the implicit 'this' parameter in a call to a C++ method. More... | |
| class | FieldRegion |
| class | ObjCIvarRegion |
| class | RegionRawOffset |
| class | ElementRegion |
| ElementRegin is used to represent both array elements and casts. More... | |
| class | CXXTempObjectRegion |
| class | CXXBaseObjectRegion |
| class | MemRegionManager |
| class | RegionAndSymbolInvalidationTraits |
| Information about invalidation for a particular region/symbol. More... | |
| struct | ProgramStatePartialTrait |
| struct | ProgramStateTrait |
| class | ProgramState |
| ProgramState - This class encapsulates: More... | |
| class | ProgramStateManager |
| class | ScanReachableSymbols |
| A utility class that visits the reachable symbols using a custom SymbolVisitor. More... | |
| struct | ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > > |
| struct | ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > > |
| struct | ProgramStatePartialTrait< llvm::ImmutableList< T > > |
| struct | ProgramStatePartialTrait< bool > |
| struct | ProgramStatePartialTrait< unsigned > |
| struct | ProgramStatePartialTrait< void * > |
| struct | ProgramStatePartialTrait< const void * > |
| class | SimpleConstraintManager |
| class | StoreManager |
| class | StoreRef |
| class | SubEngine |
| class | SummaryManagerImpl |
| class | SummaryManager |
| class | SValBuilder |
| class | SVal |
| SVal - This represents a symbolic expression, which can be either an L-value or an R-value. More... | |
| class | UndefinedVal |
| class | DefinedOrUnknownSVal |
| class | UnknownVal |
| class | DefinedSVal |
| class | KnownSVal |
| Represents an SVal that is guaranteed to not be UnknownVal. More... | |
| class | NonLoc |
| class | Loc |
| class | SValVisitor |
| SValVisitor - this class implements a simple visitor for SVal subclasses. More... | |
| class | SymExprVisitor |
| SymExprVisitor - this class implements a simple visitor for SymExpr subclasses. More... | |
| class | MemRegionVisitor |
| MemRegionVisitor - this class implements a simple visitor for MemRegion subclasses. More... | |
| class | FullSValVisitor |
| FullSValVisitor - a convenient mixed visitor for all three: SVal, SymExpr and MemRegion subclasses. More... | |
| class | SymbolRegionValue |
| A symbol representing the value stored at a MemRegion. More... | |
| class | SymbolConjured |
| A symbol representing the result of an expression in the case when we do not know anything about what the expression is. More... | |
| class | SymbolDerived |
| A symbol representing the value of a MemRegion whose parent region has symbolic value. More... | |
| class | SymbolExtent |
| SymbolExtent - Represents the extent (size in bytes) of a bounded region. More... | |
| class | SymbolMetadata |
| SymbolMetadata - Represents path-dependent metadata about a specific region. More... | |
| class | SymbolCast |
| Represents a cast expression. More... | |
| class | BinarySymExpr |
| Represents a symbolic expression involving a binary operator. More... | |
| class | SymIntExpr |
| Represents a symbolic expression like 'x' + 3. More... | |
| class | IntSymExpr |
| Represents a symbolic expression like 3 - 'x'. More... | |
| class | SymSymExpr |
| Represents a symbolic expression like 'x' + 'y'. More... | |
| class | SymbolManager |
| class | SymbolReaper |
| A class responsible for cleaning up unused symbols. More... | |
| class | SymbolVisitor |
| class | SymExpr |
| Symbolic value. More... | |
| class | SymbolData |
| A symbol representing data which can be stored in a memory location (region). More... | |
| struct | TaintMap |
| The GDM component containing the tainted root symbols. More... | |
| struct | ProgramStateTrait< TaintMap > |
| struct | DerivedSymTaint |
| The GDM component mapping derived symbols' parent symbols to their underlying regions. More... | |
| struct | ProgramStateTrait< DerivedSymTaint > |
| class | TaintManager |
| class | WorkListUnit |
| class | WorkList |
| class | AnalysisASTConsumer |
| class | AnalysisAction |
| class | ParseModelFileAction |
| Frontend action to parse model files. More... | |
| class | ModelConsumer |
| ASTConsumer to consume model files' AST. More... | |
| class | CheckerDocumentation |
| This checker documents the callback functions checkers can use to implement the custom handling of the specific events during path exploration as well as reporting bugs. More... | |
| struct | ProgramStateTrait< SymbolSet > |
| struct | ProgramStateTrait< mpi::RequestMap > |
| class | PrettyStackTraceLocationContext |
| While alive, includes the current analysis stack in a crash trace. More... | |
| class | RangedConstraintManager |
| class | ModelInjector |
Enumerations | |
| enum | PointerEscapeKind { PSK_EscapeOnBind, PSK_DirectEscapeOnCall, PSK_IndirectEscapeOnCall, PSK_EscapeOther } |
| Describes the different reasons a pointer escapes during analysis. More... | |
| enum | ObjCMessageVisitKind { ObjCMessageVisitKind::Pre, ObjCMessageVisitKind::Post, ObjCMessageVisitKind::MessageNil } |
| enum | CallEventKind { CE_Function, CE_CXXMember, CE_CXXMemberOperator, CE_CXXDestructor, CE_BEG_CXX_INSTANCE_CALLS = CE_CXXMember, CE_END_CXX_INSTANCE_CALLS = CE_CXXDestructor, CE_CXXConstructor, CE_CXXAllocator, CE_BEG_FUNCTION_CALLS = CE_Function, CE_END_FUNCTION_CALLS = CE_CXXAllocator, CE_Block, CE_ObjCMessage } |
Functions | |
| void | registerBuiltinCheckers (CheckerRegistry ®istry) |
| void | RegisterCallInliner (ExprEngine &Eng) |
| raw_ostream & | operator<< (raw_ostream &Out, const CheckerBase &Checker) |
| Dump checker name to stream. More... | |
| bool | containsMacro (const Stmt *S) |
| bool | containsEnum (const Stmt *S) |
| bool | containsStaticLocal (const Stmt *S) |
| bool | containsBuiltinOffsetOf (const Stmt *S) |
| template<class T > | |
| bool | containsStmt (const Stmt *S) |
| std::pair< const clang::VarDecl *, const clang::Expr * > | parseAssignment (const Stmt *S) |
| std::unique_ptr < ConstraintManager > | CreateRangeConstraintManager (ProgramStateManager &statemgr, SubEngine *subengine) |
| std::unique_ptr < ConstraintManager > | CreateZ3ConstraintManager (ProgramStateManager &statemgr, SubEngine *subengine) |
| DynamicTypeInfo | getDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg) |
| Get dynamic type information for a region. More... | |
| ProgramStateRef | setDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg, DynamicTypeInfo NewTy) |
| Set dynamic type information of the region; return the new state. More... | |
| ProgramStateRef | setDynamicTypeInfo (ProgramStateRef State, const MemRegion *Reg, QualType NewTy, bool CanBeSubClassed=true) |
| Set dynamic type information of the region; return the new state. More... | |
| ProgramStateRef | getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) |
| Get the states that result from widening the loop. More... | |
| void | ProgramStateRetain (const ProgramState *state) |
| Increments the number of times this state is referenced. More... | |
| void | ProgramStateRelease (const ProgramState *state) |
| Decrement the number of times this state is referenced. More... | |
| std::unique_ptr< StoreManager > | CreateRegionStoreManager (ProgramStateManager &StMgr) |
| std::unique_ptr< StoreManager > | CreateFieldsOnlyRegionStoreManager (ProgramStateManager &StMgr) |
| SValBuilder * | createSimpleSValBuilder (llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) |
| std::unique_ptr < AnalysisASTConsumer > | CreateAnalysisConsumer (CompilerInstance &CI) |
| CreateAnalysisConsumer - Creates an ASTConsumer to run various code analysis passes. More... | |
| std::unique_ptr< CheckerManager > | createCheckerManager (AnalyzerOptions &opts, const LangOptions &langOpts, ArrayRef< std::string > plugins, DiagnosticsEngine &diags) |
| void | printCheckerHelp (raw_ostream &OS, ArrayRef< std::string > plugins) |
| void | printEnabledCheckerList (raw_ostream &OS, ArrayRef< std::string > plugins, const AnalyzerOptions &opts) |
| bool | shouldIncludeAllocationSiteInLeakDiagnostics (AnalyzerOptions &AOpts) |
| Returns true if leak diagnostics should directly reference the allocatin site (where possible). More... | |
| void | registerCStringCheckerBasic (CheckerManager &Mgr) |
| Register the checker which evaluates CString API calls. More... | |
| template<typename... IdentifierInfos> | |
| static Selector | getKeywordSelector (ASTContext &Ctx, IdentifierInfos *...IIs) |
| template<typename... IdentifierInfos> | |
| static void | lazyInitKeywordSelector (Selector &Sel, ASTContext &Ctx, IdentifierInfos *...IIs) |
| static void | lazyInitNullarySelector (Selector &Sel, ASTContext &Ctx, const char *Name) |
Variables | |
| static const TaintTagType | TaintTagGeneric = 0 |
| typedef std::unique_ptr<ConstraintManager>(* clang::ento::ConstraintManagerCreator)(ProgramStateManager &, SubEngine *) |
Definition at line 42 of file ProgramState.h.
Definition at line 42 of file TaintManager.h.
| typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo> clang::ento::DynamicTypeMapImpl |
Definition at line 28 of file DynamicTypeMap.h.
| typedef llvm::DenseMap<const ExplodedNode *, const ExplodedNode *> clang::ento::InterExplodedGraphMap |
Definition at line 244 of file ExplodedGraph.h.
| typedef llvm::PointerUnion<const LocationContext*, AnalysisDeclContext*> clang::ento::LocationOrAnalysisDeclContext |
Definition at line 132 of file PathDiagnostic.h.
| typedef std::vector<PathDiagnosticConsumer*> clang::ento::PathDiagnosticConsumers |
Definition at line 27 of file PathDiagnosticConsumers.h.
| typedef IntrusiveRefCntPtr<const ProgramState> clang::ento::ProgramStateRef |
Definition at line 38 of file ProgramState_Fwd.h.
| typedef llvm::DenseSet<const Decl*> clang::ento::SetOfConstDecls |
Definition at line 29 of file FunctionSummary.h.
| typedef std::deque<Decl*> clang::ento::SetOfDecls |
Definition at line 28 of file FunctionSummary.h.
| typedef const void* clang::ento::Store |
Store - This opaque type encapsulates an immutable mapping from locations to values.
At a high-level, it represents the symbolic memory model. Different subclasses of StoreManager may choose different types to represent the locations and values.
Definition at line 26 of file StoreRef.h.
| typedef std::unique_ptr<StoreManager>(* clang::ento::StoreManagerCreator)(ProgramStateManager &) |
Definition at line 44 of file ProgramState.h.
| typedef unsigned clang::ento::SymbolID |
| typedef const SymExpr * clang::ento::SymbolRef |
Definition at line 46 of file PathDiagnostic.h.
| typedef SmallVector<SymbolRef, 2> clang::ento::SymbolRefSmallVectorTy |
| typedef llvm::ImmutableMap<const SubRegion*, TaintTagType> clang::ento::TaintedSubRegions |
Definition at line 46 of file ProgramState.h.
Definition at line 32 of file TaintManager.h.
| typedef unsigned clang::ento::TaintTagType |
The type of taint, which helps to differentiate between different types of taint.
Definition at line 22 of file TaintTag.h.
Definition at line 35 of file CallEvent.h.
|
strong |
| Enumerator | |
|---|---|
| Pre | |
| Post | |
| MessageNil | |
Definition at line 97 of file CheckerManager.h.
Describes the different reasons a pointer escapes during analysis.
Definition at line 65 of file CheckerManager.h.
| bool clang::ento::containsBuiltinOffsetOf | ( | const Stmt * | S | ) |
Definition at line 64 of file CheckerHelpers.cpp.
References clang::Stmt::children().
| bool clang::ento::containsEnum | ( | const Stmt * | S | ) |
Definition at line 34 of file CheckerHelpers.cpp.
References clang::Stmt::children(), clang::DeclRefExpr::getDecl(), and S.
| bool clang::ento::containsMacro | ( | const Stmt * | S | ) |
Definition at line 19 of file CheckerHelpers.cpp.
References clang::Stmt::children(), clang::Stmt::getLocEnd(), clang::Stmt::getLocStart(), and clang::SourceLocation::isMacroID().
| bool clang::ento::containsStaticLocal | ( | const Stmt * | S | ) |
Definition at line 48 of file CheckerHelpers.cpp.
References clang::Stmt::children(), clang::DeclRefExpr::getDecl(), and S.
| bool clang::ento::containsStmt | ( | const Stmt * | S | ) |
Definition at line 31 of file CheckerHelpers.h.
References clang::Stmt::children().
| std::unique_ptr< AnalysisASTConsumer > clang::ento::CreateAnalysisConsumer | ( | CompilerInstance & | CI | ) |
CreateAnalysisConsumer - Creates an ASTConsumer to run various code analysis passes.
(The set of analyses run is controlled by command-line options.)
Definition at line 757 of file AnalysisConsumer.cpp.
References clang::CompilerInstance::getAnalyzerOpts(), clang::Preprocessor::getDiagnostics(), clang::CompilerInstance::getFrontendOpts(), clang::CompilerInstance::getPreprocessor(), clang::FrontendOptions::OutputFile, clang::FrontendOptions::Plugins, and clang::DiagnosticsEngine::setWarningsAsErrors().
Referenced by clang::ento::AnalysisAction::CreateASTConsumer().
| std::unique_ptr< CheckerManager > clang::ento::createCheckerManager | ( | AnalyzerOptions & | opts, |
| const LangOptions & | langOpts, | ||
| ArrayRef< std::string > | plugins, | ||
| DiagnosticsEngine & | diags | ||
| ) |
Definition at line 115 of file CheckerRegistration.cpp.
References getCheckerOptList(), and clang::DiagnosticsEngine::Report().
| std::unique_ptr< StoreManager > clang::ento::CreateFieldsOnlyRegionStoreManager | ( | ProgramStateManager & | StMgr | ) |
Definition at line 635 of file RegionStore.cpp.
| std::unique_ptr< ConstraintManager > clang::ento::CreateRangeConstraintManager | ( | ProgramStateManager & | statemgr, |
| SubEngine * | subengine | ||
| ) |
Definition at line 367 of file RangeConstraintManager.cpp.
References clang::ento::ProgramStateManager::getSValBuilder().
| std::unique_ptr< StoreManager > clang::ento::CreateRegionStoreManager | ( | ProgramStateManager & | StMgr | ) |
Definition at line 629 of file RegionStore.cpp.
| SValBuilder * clang::ento::createSimpleSValBuilder | ( | llvm::BumpPtrAllocator & | alloc, |
| ASTContext & | context, | ||
| ProgramStateManager & | stateMgr | ||
| ) |
Definition at line 57 of file SimpleSValBuilder.cpp.
| std::unique_ptr< ConstraintManager > clang::ento::CreateZ3ConstraintManager | ( | ProgramStateManager & | statemgr, |
| SubEngine * | subengine | ||
| ) |
Definition at line 1611 of file Z3ConstraintManager.cpp.
References clang::ento::ProgramStateManager::getSValBuilder().
| DynamicTypeInfo clang::ento::getDynamicTypeInfo | ( | ProgramStateRef | State, |
| const MemRegion * | Reg | ||
| ) |
Get dynamic type information for a region.
Definition at line 21 of file DynamicTypeMap.cpp.
References clang::ento::SymExpr::getType(), and clang::ento::MemRegion::StripCasts().
Referenced by clang::CXXInstanceCall::getRuntimeDefinition(), and clang::ObjCMethodCall::getRuntimeDefinition().
|
inlinestatic |
Definition at line 19 of file SelectorExtras.h.
References clang::IdentifierTable::get(), clang::SelectorTable::getSelector(), clang::ASTContext::Idents, and clang::ASTContext::Selectors.
Referenced by lazyInitKeywordSelector().
| ProgramStateRef clang::ento::getWidenedLoopState | ( | ProgramStateRef | PrevState, |
| const LocationContext * | LCtx, | ||
| unsigned | BlockCount, | ||
| const Stmt * | LoopStmt | ||
| ) |
Get the states that result from widening the loop.
Widen the loop by invalidating anything that might be modified by the loop body in any iteration.
Definition at line 39 of file LoopWidening.cpp.
References clang::LocationContext::getCurrentStackFrame(), clang::ento::MemRegionManager::getGlobalsRegion(), getLoopCondition(), clang::ento::MemRegionManager::getStackArgumentsRegion(), clang::ento::MemRegionManager::getStackLocalsRegion(), clang::ento::RegionAndSymbolInvalidationTraits::setTrait(), and clang::ento::RegionAndSymbolInvalidationTraits::TK_EntireMemSpace.
Referenced by clang::ento::ExprEngine::processCFGBlockEntrance().
|
inlinestatic |
Definition at line 29 of file SelectorExtras.h.
References getKeywordSelector(), and clang::Selector::isNull().
|
inlinestatic |
Definition at line 36 of file SelectorExtras.h.
References clang::GetNullarySelector(), and clang::Selector::isNull().
| raw_ostream & clang::ento::operator<< | ( | raw_ostream & | Out, |
| const CheckerBase & | Checker | ||
| ) |
Dump checker name to stream.
Definition at line 34 of file Checker.cpp.
References clang::ento::CheckerBase::getCheckName(), and clang::ento::CheckName::getName().
| std::pair< const clang::VarDecl *, const clang::Expr * > clang::ento::parseAssignment | ( | const Stmt * | S | ) |
Definition at line 77 of file CheckerHelpers.cpp.
Referenced by getDereferenceExpr().
| void clang::ento::printCheckerHelp | ( | raw_ostream & | OS, |
| ArrayRef< std::string > | plugins | ||
| ) |
Definition at line 140 of file CheckerRegistration.cpp.
Referenced by clang::ExecuteCompilerInvocation().
| void clang::ento::printEnabledCheckerList | ( | raw_ostream & | OS, |
| ArrayRef< std::string > | plugins, | ||
| const AnalyzerOptions & | opts | ||
| ) |
Definition at line 147 of file CheckerRegistration.cpp.
References getCheckerOptList().
Referenced by clang::ExecuteCompilerInvocation().
| void clang::ento::ProgramStateRelease | ( | const ProgramState * | state | ) |
Decrement the number of times this state is referenced.
Definition at line 33 of file ProgramState.cpp.
References clang::ento::ProgramState::getStateManager(), clang::CodeGen::state, and clang::ento::ProgramState::~ProgramState().
Referenced by llvm::IntrusiveRefCntPtrInfo< const clang::ento::ProgramState >::release().
| void clang::ento::ProgramStateRetain | ( | const ProgramState * | state | ) |
Increments the number of times this state is referenced.
Definition at line 28 of file ProgramState.cpp.
References clang::CodeGen::state.
Referenced by llvm::IntrusiveRefCntPtrInfo< const clang::ento::ProgramState >::retain().
| void clang::ento::registerBuiltinCheckers | ( | CheckerRegistry & | registry | ) |
Definition at line 26 of file ClangCheckers.cpp.
| void clang::ento::RegisterCallInliner | ( | ExprEngine & | Eng | ) |
| void clang::ento::registerCStringCheckerBasic | ( | CheckerManager & | Mgr | ) |
Register the checker which evaluates CString API calls.
Definition at line 2275 of file CStringChecker.cpp.
| ProgramStateRef clang::ento::setDynamicTypeInfo | ( | ProgramStateRef | State, |
| const MemRegion * | Reg, | ||
| DynamicTypeInfo | NewTy | ||
| ) |
Set dynamic type information of the region; return the new state.
Definition at line 42 of file DynamicTypeMap.cpp.
References clang::ento::MemRegion::StripCasts().
Referenced by recordFixedType(), and setDynamicTypeInfo().
|
inline |
Set dynamic type information of the region; return the new state.
Definition at line 47 of file DynamicTypeMap.h.
References setDynamicTypeInfo().
| bool clang::ento::shouldIncludeAllocationSiteInLeakDiagnostics | ( | AnalyzerOptions & | AOpts | ) |
Returns true if leak diagnostics should directly reference the allocatin site (where possible).
The default is false.
Definition at line 19 of file AllocationDiagnostics.cpp.
References clang::AnalyzerOptions::getBooleanOption().
|
static |
Definition at line 23 of file TaintTag.h.
1.8.6