Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 123456]

cz
muni
stanse
automatonchecker
AutomatonCheckerCreator
XMLAutomatonSyntaxErrorException	Describes a syntax error in XML file with automaton definition
checker	Defines public abstract class Checker
Checker
CheckerCreator
CheckerError	Represents output from checkers, which is the error found in the source file (represented by a set of CFGs)
CheckerErrorReceiver
CheckerErrorTrace
CheckerErrorTraceLocation
CheckerException	Defines base class for all the exceptions which can be thrown in concrete checkers
CheckerFactory
CheckerProgressMonitor
CheckingFailed
CheckingResult
CheckingSuccess
codestructures	Defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers
builders
CallGraphBuilder
NodeToCFGdictionaryBuilder
StartFunctionsSetBuilder
XMLLinearizeASTElement
traversal
CFGPathVisitor
CFGTraversal
CFGvisitor
AliasResolver
ArgumentPassingManager
CFG
CFGBranchNode
CFGBreakNode
CFGHandle
CFGJoinNode
CFGNode
OperandType
CFGNodeNumber
CFGPart
CFGsNavigator
ElementCFGdictionary
InterproceduralCFGsNavigator
IntraproceduralCFGsNavigator
LazyInternalStructures
LazyInternalStructuresInter
LazyInternalStructuresIntra
LinearCode
ParserException	Defines base class for all the exceptions which can be thrown in concrete checkers
PassingSolver
ReturnValuePassingManager
Unit	Holds all the relevant data about the code in one compilation unit (usually a file)
UnitManager
UnitManagerLRU
configuration
source_enumeration	Defines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators
AllOpenedFilesEnumerator
BatchFileEnumerator
DirectorySourceEnumerator
FileListEnumerator
MakefileSourceEnumerator
ReferencedSourceCodeFileEnumerator
SourceCodeFilesEnumerator
SourceCodeFilesException	Defines base class for all the exceptions which can be thrown in SourceCodeEnumerators
CheckerConfiguration
Configuration
SourceConfiguration
cparser
CFGEmitter
CFGEvaluator
CUnit
GNUCaLexer
GNUCaParser
StanseErrorNode
StanseTree
StanseTreeAdaptor
XMLEmitter
gui
ButtonTabComponent
MainWindow
OpenedFilesAccessor
lockchecker
LockChecker
LockCheckerCreator
pointeranalyzer	PointsToAnalyzer factory
shapirohorwitz
AbstractLocation
AbstractLocationJoinListener
AbstractLocationSet
AndersenCategorizationProvider
CategorizationProvider
FunctionPointerType
LocationPointerType
PointerType
ShapiroHorwitzAnalyzer
SteensgaardCategorizationProvider
TypeTable
VariableCounter
steensgaard
EquivalenceClass< T extends PointerType >
EquivalenceClassJoinListener
EvaluatedType
FunctionPointerType
LocationPointerType
PointerType
SteensgaardAnalyzer
TypeTable
InvalidPointerOperationException
PointerAnalyzer
PointerAnalyzerCreator
PointsToAnalyzer
reachabilitychecker	ReachabilityChecker implementation
ReachabilityCheckerCreator
statistics	Copyright (c) 2009 Marek Trtik
BasicEvaluationStatistic
CheckerErrorsGuiTracing
CheckerErrorsSorter
DocumentToFileWriter
DummyEvaluationStatistic
ErrorMessagesStatsBuilder
EvaluationStatistic
MergeDocuments
PerformanceDataBuilder
StatisticalDatabaseBuilder
StatisticalDatabaseLoader
StringToFileWriter
TabbedStringStream
threadchecker
config
ConfigurationCreator
debug
GraphView
GraphViz
Utils
exceptions
CycleException
RAGException
graph
AbstractDependencyRule
Assignment
CFGGraphState
Cycle
DependencyCycleDetector
DependencyGraph
DependencyRule
Edge
ProcessVertex
RAG
Request
ResourceVertex
Vertex
locks
BackTrack
JoinNode
Lock
LockingException
LockStack
SpinLock
UnlockSet
AbstractFunctionState
CFGTransit	Algorithm description: if(node is marked as visited) -> stop process and ask for another from queue if(node has only one predecessor) { -> process node's element and mark it as visited } else { if(all node's predecessors are visited) { -> try to join all nodes with same CFGNode -> process actual node's element and mark it as visited } else { if(predecessor's is part of a cycle
CheckerSettings
CodeAnalyzer
Function
FunctionState
ThreadChecker
ThreadCheckerCreator
ThreadInfo
utils	Licensed under GPLv2
msgformat
ColumnMessageFormatter
MessageFormatter
TimedMessageSequenceFormatter
xmlpatterns
XMLAlgo
XMLPattern
XMLPatternVariablesAssignment
CallGraphToDot
ClassLocation
ClassLogger
ClassURL
FileAlgo
Make
Pair< A, B >
StreamAlgo
TimeManager
Triple< A, B, C >
Stanse
GNUCaLexer_Ctx_struct
GNUCaParser_Ctx_struct
GNUCaParser_Symbols_SCOPE_struct
GNUCaParser_Typedef_SCOPE_struct