All Classes
AbstractDataFlowDispatch
AbstractLocation
AbstractValue
AccrueCall_c
AccrueCatch_c
AccrueConstructorCall_c
AccrueExt
AccrueExt_c
AccrueExtensionInfo
AccrueJL5ExtensionInfo
AccrueJL5Options
AccrueJL5Scheduler
AccrueJL5Scheduler.AccrueJL5SchedulerHelper
AccrueJL5TranslationExtensionInfo
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
AccrueJLExtensionInfo
AccrueJLOptions
AccrueJLScheduler
AccrueLang_c
AccrueNew_c
AccrueNodeFactory
AccrueNodeFactory_c
AccrueOptions
AccrueOptionsHelper
AccrueScheduler
AccrueSchedulerHelper
AccrueTry_c
AccrueUtil
AllocSiteNode
AnalysesDone
AnalysisContext
AnalysisContextMap
AnalysisContextPeerMap
AnalysisContextPeerMap.CodeObjectPeerContext
AnalysisExtFactory
AnalysisExtFactory_c
AnalysisFactory
AnalysisFactoryVarContext
AnalysisSignatures
AnalysisTopics
AnalysisUnit
AnalysisUtil
AnalysisUtilVarContext
AnalysisUtilVarContextDataFlow
AntiDepAbsVal
AntiDepAnalysisFactory
AntiDepAnalysisUtil
AntiDepDataFlow
AntiDepGoal
AntiDepPass
CallGraph
CallSiteContextSensitiveAnalysis
CallSiteForCallee
CallSiteForPattern
CallSiteNode
CContext
CDAbsVal
CodeGenerated
ConstructorContext
CrossProductAnalysis
CtlDepAnalysisFactory
CtlDepAnalysisUtil
CtlDepDataFlow
CtlDepGoal
CtlDepPass
DataFlowDispatch
DataFlowNodeIdentifier
DataFlowNodeIdentifier_c
DefUseAbsVal
DefUseAnalysisFactory
DefUseAnalysisUtil
DefUseAnalysisUtil.Mode
DefUseDataFlow
DefUseGoal
DefUseLibrarySignature
DefUseLibrarySignature.DEF_ARG
DefUseLibrarySignature.DEF_HIDDEN
DefUseLibrarySignature.Join
DefUseLibrarySignature.USE_DEF_HIDDEN
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN
DefUseLibrarySignature.USE_HIDDEN
DefUsePass
DistinguishClass
DominationAnalysisFactory
DominationAnalysisUtil
DominationPass
DominationPass.Kind
DominatorDataFlow
DominatorGoal
EdgeIdentifier
EdgeIdentifier.EdgeType
EdgeIdentifier.ExceptionEdge
EdgeIdentifier.HeapUseKey
EdgeIdentifier.LocalUseKey
EdgeIdentifier_c
ExitMap
ExitMap.ExceptionKey
ExitMap.Key
ExitMap.LabeledBranchKey
ExpressionFlattenerGoal
ExtAlloc
ExtArrayAccess
ExtArrayAccessAssign
ExtArrayInit
ExtAssert
ExtBinary
ExtBlock
ExtBranch
ExtCall
ExtCast
ExtCatch
ExtCodeDecl
ExtConditional
ExtConstructorCall
ExtConstructorDecl
ExtDo
ExtEmpty
ExtEnumConstant
ExtEnumConstantDecl
ExtEval
ExtExpr
ExtField
ExtFieldAssign
ExtFieldDecl
ExtFormal
ExtIf
ExtInitializer
ExtInitializerOrFieldDecl
ExtInstanceof
ExtLabeled
ExtLit
ExtLocal
ExtLocalAssign
ExtLocalDecl
ExtLoop
ExtMethodDecl
ExtNew
ExtNewArray
ExtPrimitiveExpr
ExtProcedureCall
ExtProcedureDecl
ExtReturn
ExtSpecial
ExtSuppress
ExtSwitch
ExtSynchronized
ExtTerm
ExtThrow
ExtTry
ExtTypeNode
ExtUnary
ExtWhile
FinalVarContext
FindFinallyBlocks
FindFinallyBlocksGoal
FullObjSensitiveAnalysis
Grm
HContext
HeapAbstractionFactory
InlineFinalConstants
InlineFinalConstantsGoal
InterProcAnalysisPass
InterProcVarContextPass
JL5AnalysisExtFactory_c
JL5DataFlowDispatch
JL5RegisterPointerStmtsGoal
JL5RegisterPointerStmtsVisitor
JL5StmtRegistrar
Lexer_c
LibraryPointsToSignature
LibrarySignature
MakeInstanceInitializersExplicit
MakeInstanceInitializersExplicitGoal
MakeNarrowingAssignmentsExplicitGoal
MakeTargetsExplicit
MakeTargetsExplicitGoal
MissingCodeReporter
MissingCodeReportGoal
MissingCodeReportPass
MoveInnerClassesGoal
MoveLocalClassesGoal
MoveStaticFieldInitializers
MoveStaticFieldInitializersGoal
NativeNodeIdentifier
NativeNodeIdentifier_c
NewAllocAbsVal
NodeIdentifier
NodeIdentifier_c
NonFatalPostDominatorDataFlow
NonFatalPostDominatorGoal
NotNullAbsVal
NotNullAnalysisFactory
NotNullAnalysisPass
NotNullAnalysisPass.MakeNonPeerNullResultValid
NotNullAnalysisUtil
NotNullDataFlow
NotNullGoal
ObjectField
Ordered
PCGAbsVal
PointerAnalysisGoal
PointerAnalysisPass
PointsToEngine
PointsToEngine.PointsToTimeoutException
PointsToEngine.StmtAndContext
PointsToEngineMultiThread
PointsToEngineSingleThread
PointsToEngineTimeout
PointsToGraph
PointsToGraphNode
PointsToGraphSerial
PointsToGraphSync
PointsToLibrarySigs
PointsToLibrarySigs.AllocatorOrReceiver
PointsToLibrarySigs.AssignsArgToField
PointsToLibrarySigs.ReturnsField
PointsToLibrarySigs.Singleton
PointsToStmt
PostDominatorDataFlow
PostDominatorGoal
PreciseCallGraphAnalysisUtil
PreciseCallGraphFactory
PreciseCallGraphGoal
PreciseCallGraphPass
PreciseCallGraphVisitor
PreciseDataFlow
PreciseDataFlow.PreciseCFGBuilder
PreciseExAbsVal
PreciseExAnalysisFactory
PreciseExAnalysisUtil
PreciseExGoal
PreciseExLibrarySignature
PreciseExPass
PreciseExVisitor
ReadWriteSet
ReadWriteSetsAnalysisFactory
ReadWriteSetsAnalysisUtil
ReadWriteSetsGoal
ReadWriteSetsPass
ReadWriteSetVisitor
ReferenceVariable
ReferenceVariableReplica
RegisterDeclsGoal
RegisterExpressions
RegisterExpressionsGoal
RegisterFieldDecls
RegisterPointerStmtsGoal
RegisterPointerStmtsVisitor
RegisterProceduresGoal
RegisterProceduresVisitor
Registrar
SignatureRepository
SimplifyExpressions
SimplifyExpressionsGoal
Stack
StaticCallSiteContextSensitiveAnalysis
StickFirstCalledFrom
StickFirstCallee
StickFirstCollections
StickFirstMatches
StickFirstPrimitive
StmtAllocToLocal
StmtConstructorCall
StmtFieldToLocal
StmtFilteredLocalToLocal
StmtLocalToField
StmtLocalToLocal
StmtProcedureCall
StmtProcedureCall.ExceptionHandlerPointsToGraphNode
StmtRegistrar
StmtRegistrar.CodeInfo
StmtRegistrar.ExceptionHandlerReferenceVariable
StmtSpecialMethodCall
StmtStaticMethodCall
StmtVirtualMethodCall
Suppress
Suppress_c
SuspendedExecutionStack
sym
ThrowableType
TypeSensitive_nTmH_Analysis
Unit
VarContext
VarContextDataFlow
WorkQueue
WorkQueue.AnalysisUnitRecord
WorkQueueVarContext
WorkQueueVarContext.AnalysisUnitRecordLocs