clang  3.9.0
Namespaces | Classes | Typedefs | Enumerations | Functions | Variables
clang::ento Namespace Reference

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  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  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  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 allows to visit 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  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 >
 
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  SimpleConstraintManager
 
class  ModelInjector
 

Typedefs

typedef const SymExprSymbolRef
 
typedef llvm::PointerUnion
< const LocationContext
*, AnalysisDeclContext * > 
LocationOrAnalysisDeclContext
 
typedef std::vector
< PathDiagnosticConsumer * > 
PathDiagnosticConsumers
 
typedef llvm::ImmutableMap
< const MemRegion
*, DynamicTypeInfo
DynamicTypeMapImpl
 
typedef llvm::DenseMap< const
ExplodedNode *, const
ExplodedNode * > 
InterExplodedGraphMap
 
typedef std::deque< Decl * > SetOfDecls
 
typedef llvm::DenseSet< const
Decl * > 
SetOfConstDecls
 
typedef std::unique_ptr
< ConstraintManager >(* 
ConstraintManagerCreator )(ProgramStateManager &, SubEngine *)
 
typedef std::unique_ptr
< StoreManager >(* 
StoreManagerCreator )(ProgramStateManager &)
 
typedef IntrusiveRefCntPtr
< const ProgramState
ProgramStateRef
 
typedef llvm::DenseSet< SymbolRefInvalidatedSymbols
 
typedef const void * Store
 Store - This opaque type encapsulates an immutable mapping from locations to values. More...
 
typedef SmallVector< SymbolRef, 2 > SymbolRefSmallVectorTy
 
typedef unsigned SymbolID
 
typedef llvm::ImmutableMap
< SymbolRef, TaintTagType
TaintMapImpl
 
typedef unsigned TaintTagType
 The type of taint, which helps to differentiate between different types of taint. More...
 

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 &registry)
 
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)
 
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< StoreManagerCreateRegionStoreManager (ProgramStateManager &StMgr)
 
std::unique_ptr< StoreManagerCreateFieldsOnlyRegionStoreManager (ProgramStateManager &StMgr)
 
SValBuildercreateSimpleSValBuilder (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< CheckerManagercreateCheckerManager (AnalyzerOptions &opts, const LangOptions &langOpts, ArrayRef< std::string > plugins, DiagnosticsEngine &diags)
 
void printCheckerHelp (raw_ostream &OS, ArrayRef< std::string > plugins)
 
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...
 
static Selector getKeywordSelectorImpl (ASTContext &Ctx, const char *First, va_list argp)
 
static Selector getKeywordSelector (ASTContext &Ctx, va_list argp)
 
static LLVM_END_WITH_NULL Selector getKeywordSelector (ASTContext &Ctx, const char *First,...)
 
static LLVM_END_WITH_NULL void lazyInitKeywordSelector (Selector &Sel, ASTContext &Ctx, const char *First,...)
 
static void lazyInitNullarySelector (Selector &Sel, ASTContext &Ctx, const char *Name)
 
static void computeAdjustment (SymbolRef &Sym, llvm::APSInt &Adjustment)
 

Variables

static const TaintTagType TaintTagGeneric = 0
 

Typedef Documentation

typedef std::unique_ptr<ConstraintManager>(* clang::ento::ConstraintManagerCreator)(ProgramStateManager &, SubEngine *)

Definition at line 43 of file ProgramState.h.

Definition at line 28 of file DynamicTypeMap.h.

typedef llvm::DenseMap<const ExplodedNode *, const ExplodedNode *> clang::ento::InterExplodedGraphMap

Definition at line 245 of file ExplodedGraph.h.

Definition at line 36 of file Store.h.

Definition at line 132 of file PathDiagnostic.h.

Definition at line 27 of file PathDiagnosticConsumers.h.

Definition at line 38 of file ProgramState_Fwd.h.

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 45 of file ProgramState.h.

Definition at line 98 of file SymExpr.h.

Definition at line 46 of file PathDiagnostic.h.

Definition at line 96 of file SymExpr.h.

Definition at line 32 of file TaintManager.h.

The type of taint, which helps to differentiate between different types of taint.

Definition at line 22 of file TaintTag.h.

Enumeration Type Documentation

Enumerator
CE_Function 
CE_CXXMember 
CE_CXXMemberOperator 
CE_CXXDestructor 
CE_BEG_CXX_INSTANCE_CALLS 
CE_END_CXX_INSTANCE_CALLS 
CE_CXXConstructor 
CE_CXXAllocator 
CE_BEG_FUNCTION_CALLS 
CE_END_FUNCTION_CALLS 
CE_Block 
CE_ObjCMessage 

Definition at line 35 of file CallEvent.h.

Enumerator
Pre 
Post 
MessageNil 

Definition at line 97 of file CheckerManager.h.

Describes the different reasons a pointer escapes during analysis.

Enumerator
PSK_EscapeOnBind 

A pointer escapes due to binding its value to a location that the analyzer cannot track.

PSK_DirectEscapeOnCall 

The pointer has been passed to a function call directly.

PSK_IndirectEscapeOnCall 

The pointer has been passed to a function indirectly.

For example, the pointer is accessible through an argument to a function.

PSK_EscapeOther 

The reason for pointer escape is unknown.

For example, a region containing this pointer is invalidated.

Definition at line 65 of file CheckerManager.h.

Function Documentation

static void clang::ento::computeAdjustment ( SymbolRef &  Sym,
llvm::APSInt &  Adjustment 
)
static
bool clang::ento::containsBuiltinOffsetOf ( const Stmt S)

Definition at line 64 of file CheckerHelpers.cpp.

bool clang::ento::containsEnum ( const Stmt S)

Definition at line 34 of file CheckerHelpers.cpp.

References clang::DeclRefExpr::getDecl(), and S.

bool clang::ento::containsMacro ( const Stmt S)

Definition at line 19 of file CheckerHelpers.cpp.

bool clang::ento::containsStaticLocal ( const Stmt S)

Definition at line 48 of file CheckerHelpers.cpp.

References clang::DeclRefExpr::getDecl(), and S.

template<class T >
bool clang::ento::containsStmt ( const Stmt S)

Definition at line 31 of file CheckerHelpers.h.

std::unique_ptr< AnalysisASTConsumer > clang::ento::CreateAnalysisConsumer ( CompilerInstance CI)
std::unique_ptr< CheckerManager > clang::ento::createCheckerManager ( AnalyzerOptions opts,
const LangOptions langOpts,
ArrayRef< std::string >  plugins,
DiagnosticsEngine diags 
)
std::unique_ptr< StoreManager > clang::ento::CreateFieldsOnlyRegionStoreManager ( ProgramStateManager StMgr)

Definition at line 615 of file RegionStore.cpp.

std::unique_ptr< ConstraintManager > clang::ento::CreateRangeConstraintManager ( ProgramStateManager statemgr,
SubEngine subengine 
)
std::unique_ptr< StoreManager > clang::ento::CreateRegionStoreManager ( ProgramStateManager StMgr)

Definition at line 609 of file RegionStore.cpp.

SValBuilder * clang::ento::createSimpleSValBuilder ( llvm::BumpPtrAllocator &  alloc,
ASTContext context,
ProgramStateManager stateMgr 
)

Definition at line 52 of file SimpleSValBuilder.cpp.

DynamicTypeInfo clang::ento::getDynamicTypeInfo ( ProgramStateRef  State,
const MemRegion *  Reg 
)
static Selector clang::ento::getKeywordSelector ( ASTContext &  Ctx,
va_list  argp 
)
inlinestatic

Definition at line 31 of file SelectorExtras.h.

References getKeywordSelectorImpl(), and va_arg.

static LLVM_END_WITH_NULL Selector clang::ento::getKeywordSelector ( ASTContext &  Ctx,
const char *  First,
  ... 
)
inlinestatic

Definition at line 38 of file SelectorExtras.h.

References getKeywordSelectorImpl(), va_end, and va_start.

static Selector clang::ento::getKeywordSelectorImpl ( ASTContext &  Ctx,
const char *  First,
va_list  argp 
)
inlinestatic
ProgramStateRef clang::ento::getWidenedLoopState ( ProgramStateRef  PrevState,
const LocationContext LCtx,
unsigned  BlockCount,
const Stmt LoopStmt 
)
static LLVM_END_WITH_NULL void clang::ento::lazyInitKeywordSelector ( Selector &  Sel,
ASTContext &  Ctx,
const char *  First,
  ... 
)
inlinestatic

Definition at line 48 of file SelectorExtras.h.

References getKeywordSelectorImpl(), clang::Selector::isNull(), va_end, and va_start.

static void clang::ento::lazyInitNullarySelector ( Selector &  Sel,
ASTContext &  Ctx,
const char *  Name 
)
inlinestatic

Definition at line 58 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 134 of file CheckerRegistration.cpp.

Referenced by clang::ExecuteCompilerInvocation().

void clang::ento::ProgramStateRelease ( const ProgramState state)
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 2224 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().

ProgramStateRef clang::ento::setDynamicTypeInfo ( ProgramStateRef  State,
const MemRegion *  Reg,
QualType  NewTy,
bool  CanBeSubClassed = true 
)
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().

Variable Documentation

const TaintTagType clang::ento::TaintTagGeneric = 0
static

Definition at line 23 of file TaintTag.h.