Class Index

A | B | C | D | E | F | G | I | J | L | M | N | O | P | R | S | T | U | V | X

A	CheckerCreator (cz.muni.stanse.checker)	FileListEnumerator (cz.muni.stanse.configuration.source_enumeration)	MessageFormatter (cz.muni.stanse.utils.msgformat)	StatisticalDatabaseBuilder (cz.muni.stanse.statistics)
	CheckerError (cz.muni.stanse.checker)	Function (cz.muni.stanse.threadchecker)	N	StatisticalDatabaseLoader (cz.muni.stanse.statistics)
AbstractDependencyRule (cz.muni.stanse.threadchecker.graph)	CheckerErrorReceiver (cz.muni.stanse.checker)	FunctionPointerType (cz.muni.stanse.pointeranalyzer.shapirohorwitz)		SteensgaardAnalyzer (cz.muni.stanse.pointeranalyzer.steensgaard)
AbstractFunctionState (cz.muni.stanse.threadchecker)	CheckerErrorsGuiTracing (cz.muni.stanse.statistics)	FunctionPointerType (cz.muni.stanse.pointeranalyzer.steensgaard)	NodeToCFGdictionaryBuilder (cz.muni.stanse.codestructures.builders)	SteensgaardCategorizationProvider (cz.muni.stanse.pointeranalyzer.shapirohorwitz)
AbstractLocation (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	CheckerErrorsSorter (cz.muni.stanse.statistics)	FunctionState (cz.muni.stanse.threadchecker)	O	StreamAlgo (cz.muni.stanse.utils)
AbstractLocationJoinListener (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	CheckerErrorTrace (cz.muni.stanse.checker)	G		StringToFileWriter (cz.muni.stanse.statistics)
AbstractLocationSet (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	CheckerErrorTraceLocation (cz.muni.stanse.checker)		OpenedFilesAccessor (cz.muni.stanse.gui)	T
AliasResolver (cz.muni.stanse.codestructures)	CheckerException (cz.muni.stanse.checker)	GNUCaLexer (cz.muni.stanse.cparser)	CFGNode.OperandType (cz.muni.stanse.codestructures)
AllOpenedFilesEnumerator (cz.muni.stanse.configuration.source_enumeration)	CheckerFactory (cz.muni.stanse.checker)	GNUCaLexer_Ctx_struct	P	TabbedStringStream (cz.muni.stanse.statistics)
AndersenCategorizationProvider (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	CheckerProgressMonitor (cz.muni.stanse.checker)	GNUCaParser (cz.muni.stanse.cparser)		ThreadChecker (cz.muni.stanse.threadchecker)
ArgumentPassingManager (cz.muni.stanse.codestructures)	CheckerSettings (cz.muni.stanse.threadchecker)	GNUCaParser_Ctx_struct	Pair< A, B > (cz.muni.stanse.utils)	ThreadCheckerCreator (cz.muni.stanse.threadchecker)
Assignment (cz.muni.stanse.threadchecker.graph)	CheckingFailed (cz.muni.stanse.checker)	GNUCaParser_Symbols_SCOPE_struct	ParserException (cz.muni.stanse.codestructures)	ThreadInfo (cz.muni.stanse.threadchecker)
AutomatonCheckerCreator (cz.muni.stanse.automatonchecker)	CheckingResult (cz.muni.stanse.checker)	GNUCaParser_Typedef_SCOPE_struct	PassingSolver (cz.muni.stanse.codestructures)	TimedMessageSequenceFormatter (cz.muni.stanse.utils.msgformat)
B	CheckingSuccess (cz.muni.stanse.checker)	GraphView (cz.muni.stanse.threadchecker.debug)	PerformanceDataBuilder (cz.muni.stanse.statistics)	TimeManager (cz.muni.stanse.utils)
	ClassLocation (cz.muni.stanse.utils)	GraphViz (cz.muni.stanse.threadchecker.debug)	PointerAnalyzer (cz.muni.stanse.pointeranalyzer)	Triple< A, B, C > (cz.muni.stanse.utils)
BackTrack (cz.muni.stanse.threadchecker.locks)	ClassLogger (cz.muni.stanse.utils)	I	PointerAnalyzerCreator (cz.muni.stanse.pointeranalyzer)	TypeTable (cz.muni.stanse.pointeranalyzer.shapirohorwitz)
BasicEvaluationStatistic (cz.muni.stanse.statistics)	ClassURL (cz.muni.stanse.utils)		PointerType (cz.muni.stanse.pointeranalyzer.steensgaard)	TypeTable (cz.muni.stanse.pointeranalyzer.steensgaard)
BatchFileEnumerator (cz.muni.stanse.configuration.source_enumeration)	CodeAnalyzer (cz.muni.stanse.threadchecker)	InterproceduralCFGsNavigator (cz.muni.stanse.codestructures)	PointerType (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	U
ButtonTabComponent (cz.muni.stanse.gui)	ColumnMessageFormatter (cz.muni.stanse.utils.msgformat)	IntraproceduralCFGsNavigator (cz.muni.stanse.codestructures)	PointsToAnalyzer (cz.muni.stanse.pointeranalyzer)
C	Configuration (cz.muni.stanse.configuration)	InvalidPointerOperationException (cz.muni.stanse.pointeranalyzer)	ProcessVertex (cz.muni.stanse.threadchecker.graph)	Unit (cz.muni.stanse.codestructures)
	ConfigurationCreator (cz.muni.stanse.threadchecker.config)	J	R	UnitManager (cz.muni.stanse.codestructures)
CallGraphBuilder (cz.muni.stanse.codestructures.builders)	CUnit (cz.muni.stanse.cparser)			UnitManagerLRU (cz.muni.stanse.codestructures)
CallGraphToDot (cz.muni.stanse.utils)	Cycle (cz.muni.stanse.threadchecker.graph)	JoinNode (cz.muni.stanse.threadchecker.locks)	RAG (cz.muni.stanse.threadchecker.graph)	UnlockSet (cz.muni.stanse.threadchecker.locks)
CategorizationProvider (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	CycleException (cz.muni.stanse.threadchecker.exceptions)	L	RAGException (cz.muni.stanse.threadchecker.exceptions)	Utils (cz.muni.stanse.threadchecker.debug)
CFG (cz.muni.stanse.codestructures)	D		ReachabilityCheckerCreator (cz.muni.stanse.reachabilitychecker)	V
CFGBranchNode (cz.muni.stanse.codestructures)		LazyInternalStructures (cz.muni.stanse.codestructures)	ReferencedSourceCodeFileEnumerator (cz.muni.stanse.configuration.source_enumeration)
CFGBreakNode (cz.muni.stanse.codestructures)	DependencyCycleDetector (cz.muni.stanse.threadchecker.graph)	LazyInternalStructuresInter (cz.muni.stanse.codestructures)	Request (cz.muni.stanse.threadchecker.graph)	VariableCounter (cz.muni.stanse.pointeranalyzer.shapirohorwitz)
CFGEmitter (cz.muni.stanse.cparser)	DependencyGraph (cz.muni.stanse.threadchecker.graph)	LazyInternalStructuresIntra (cz.muni.stanse.codestructures)	ResourceVertex (cz.muni.stanse.threadchecker.graph)	Vertex (cz.muni.stanse.threadchecker.graph)
CFGEvaluator (cz.muni.stanse.cparser)	DependencyRule (cz.muni.stanse.threadchecker.graph)	LinearCode (cz.muni.stanse.codestructures)	ReturnValuePassingManager (cz.muni.stanse.codestructures)	X
CFGGraphState (cz.muni.stanse.threadchecker.graph)	DirectorySourceEnumerator (cz.muni.stanse.configuration.source_enumeration)	LocationPointerType (cz.muni.stanse.pointeranalyzer.steensgaard)	S
CFGHandle (cz.muni.stanse.codestructures)	DocumentToFileWriter (cz.muni.stanse.statistics)	LocationPointerType (cz.muni.stanse.pointeranalyzer.shapirohorwitz)		XMLAlgo (cz.muni.stanse.utils.xmlpatterns)
CFGJoinNode (cz.muni.stanse.codestructures)	DummyEvaluationStatistic (cz.muni.stanse.statistics)	Lock (cz.muni.stanse.threadchecker.locks)	ShapiroHorwitzAnalyzer (cz.muni.stanse.pointeranalyzer.shapirohorwitz)	XMLAutomatonSyntaxErrorException (cz.muni.stanse.automatonchecker)
CFGNode (cz.muni.stanse.codestructures)	E	LockChecker (cz.muni.stanse.lockchecker)	SourceCodeFilesEnumerator (cz.muni.stanse.configuration.source_enumeration)	XMLEmitter (cz.muni.stanse.cparser)
CFGNodeNumber (cz.muni.stanse.codestructures)		LockCheckerCreator (cz.muni.stanse.lockchecker)	SourceCodeFilesException (cz.muni.stanse.configuration.source_enumeration)	XMLLinearizeASTElement (cz.muni.stanse.codestructures.builders)
CFGPart (cz.muni.stanse.codestructures)	Edge (cz.muni.stanse.threadchecker.graph)	LockingException (cz.muni.stanse.threadchecker.locks)	SourceConfiguration (cz.muni.stanse.configuration)	XMLPattern (cz.muni.stanse.utils.xmlpatterns)
CFGPathVisitor (cz.muni.stanse.codestructures.traversal)	ElementCFGdictionary (cz.muni.stanse.codestructures)	LockStack (cz.muni.stanse.threadchecker.locks)	SourceConfigurationManager.SourceType (cz.muni.stanse.gui)	XMLPatternVariablesAssignment (cz.muni.stanse.utils.xmlpatterns)
CFGsNavigator (cz.muni.stanse.codestructures)	EquivalenceClass< T extends PointerType > (cz.muni.stanse.pointeranalyzer.steensgaard)	M	SpinLock (cz.muni.stanse.threadchecker.locks)
CFGTransit (cz.muni.stanse.threadchecker)	EquivalenceClassJoinListener (cz.muni.stanse.pointeranalyzer.steensgaard)		Stanse (cz.muni.stanse)
CFGTraversal (cz.muni.stanse.codestructures.traversal)	ErrorMessagesStatsBuilder (cz.muni.stanse.statistics)	MainWindow (cz.muni.stanse.gui)	StanseErrorNode (cz.muni.stanse.cparser)
CFGvisitor (cz.muni.stanse.codestructures.traversal)	EvaluatedType (cz.muni.stanse.pointeranalyzer.steensgaard)	Make (cz.muni.stanse.utils)	StanseTree (cz.muni.stanse.cparser)
Checker (cz.muni.stanse.checker)	EvaluationStatistic (cz.muni.stanse.statistics)	MakefileSourceEnumerator (cz.muni.stanse.configuration.source_enumeration)	StanseTreeAdaptor (cz.muni.stanse.cparser)
CheckerConfiguration (cz.muni.stanse.configuration)	F	MergeDocuments (cz.muni.stanse.statistics)	StartFunctionsSetBuilder (cz.muni.stanse.codestructures.builders)
	FileAlgo (cz.muni.stanse.utils)

A | B | C | D | E | F | G | I | J | L | M | N | O | P | R | S | T | U | V | X