Class List

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

[detail level 123456]

▼Ncz
▼Nmuni
▼Nstanse
▶Nautomatonchecker
CAutomatonCheckerCreator
CXMLAutomatonSyntaxErrorException	Describes a syntax error in XML file with automaton definition
▶Nchecker	Defines public abstract class Checker
CChecker
CCheckerCreator
CCheckerError	Represents output from checkers, which is the error found in the source file (represented by a set of CFGs)
CCheckerErrorReceiver
CCheckerErrorTrace
CCheckerErrorTraceLocation
CCheckerException	Defines base class for all the exceptions which can be thrown in concrete checkers
CCheckerFactory
CCheckerProgressMonitor
CCheckingFailed
CCheckingResult
CCheckingSuccess
▶Ncodestructures	Defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers
▶Nbuilders
CCallGraphBuilder
CNodeToCFGdictionaryBuilder
CStartFunctionsSetBuilder
CXMLLinearizeASTElement
▶Ntraversal
CCFGPathVisitor
CCFGTraversal
CCFGvisitor
CAliasResolver
CArgumentPassingManager
CCFG
CCFGBranchNode
CCFGBreakNode
CCFGHandle
CCFGJoinNode
▶CCFGNode
COperandType
CCFGNodeNumber
CCFGPart
CCFGsNavigator
CElementCFGdictionary
CInterproceduralCFGsNavigator
CIntraproceduralCFGsNavigator
CLazyInternalStructures
CLazyInternalStructuresInter
CLazyInternalStructuresIntra
CLinearCode
CParserException	Defines base class for all the exceptions which can be thrown in concrete checkers
CPassingSolver
CReturnValuePassingManager
CUnit	Holds all the relevant data about the code in one compilation unit (usually a file)
CUnitManager
CUnitManagerLRU
▶Nconfiguration
▶Nsource_enumeration	Defines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators
CAllOpenedFilesEnumerator
CBatchFileEnumerator
CDirectorySourceEnumerator
CFileListEnumerator
CMakefileSourceEnumerator
CReferencedSourceCodeFileEnumerator
CSourceCodeFilesEnumerator
CSourceCodeFilesException	Defines base class for all the exceptions which can be thrown in SourceCodeEnumerators
CCheckerConfiguration
CConfiguration
CSourceConfiguration
▶Ncparser
CCFGEmitter
CCFGEvaluator
CCUnit
CGNUCaLexer
CGNUCaParser
CStanseErrorNode
CStanseTree
CStanseTreeAdaptor
CXMLEmitter
▶Ngui
CButtonTabComponent
CMainWindow
COpenedFilesAccessor
▶Nlockchecker
CLockChecker
CLockCheckerCreator
▶Npointeranalyzer	PointsToAnalyzer factory
▶Nshapirohorwitz
CAbstractLocation
CAbstractLocationJoinListener
CAbstractLocationSet
CAndersenCategorizationProvider
CCategorizationProvider
CFunctionPointerType
CLocationPointerType
CPointerType
CShapiroHorwitzAnalyzer
CSteensgaardCategorizationProvider
CTypeTable
CVariableCounter
▶Nsteensgaard
CEquivalenceClass
CEquivalenceClassJoinListener
CEvaluatedType
CFunctionPointerType
CLocationPointerType
CPointerType
CSteensgaardAnalyzer
CTypeTable
CInvalidPointerOperationException
CPointerAnalyzer
CPointerAnalyzerCreator
CPointsToAnalyzer
▶Nreachabilitychecker	ReachabilityChecker implementation
CReachabilityCheckerCreator
▶Nstatistics	Copyright (c) 2009 Marek Trtik
CBasicEvaluationStatistic
CCheckerErrorsGuiTracing
CCheckerErrorsSorter
CDocumentToFileWriter
CDummyEvaluationStatistic
CErrorMessagesStatsBuilder
CEvaluationStatistic
CMergeDocuments
CPerformanceDataBuilder
CStatisticalDatabaseBuilder
CStatisticalDatabaseLoader
CStringToFileWriter
CTabbedStringStream
▶Nthreadchecker
▶Nconfig
CConfigurationCreator
▶Ndebug
CGraphView
CGraphViz
CUtils
▶Nexceptions
CCycleException
CRAGException
▶Ngraph
CAbstractDependencyRule
CAssignment
CCFGGraphState
CCycle
CDependencyCycleDetector
CDependencyGraph
CDependencyRule
CEdge
CProcessVertex
CRAG
CRequest
CResourceVertex
CVertex
▶Nlocks
CBackTrack
CJoinNode
CLock
CLockingException
CLockStack
CSpinLock
CUnlockSet
CAbstractFunctionState
CCFGTransit	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
CCheckerSettings
CCodeAnalyzer
CFunction
CFunctionState
CThreadChecker
CThreadCheckerCreator
CThreadInfo
▶Nutils	Licensed under GPLv2
▶Nmsgformat
CColumnMessageFormatter
CMessageFormatter
CTimedMessageSequenceFormatter
▶Nxmlpatterns
CXMLAlgo
CXMLPattern
CXMLPatternVariablesAssignment
CCallGraphToDot
CClassLocation
CClassLogger
CClassURL
CFileAlgo
CMake
CPair
CStreamAlgo
CTimeManager
CTriple
CStanse
CGNUCaLexer_Ctx_struct
CGNUCaParser_Ctx_struct
CGNUCaParser_Symbols_SCOPE_struct
CGNUCaParser_Typedef_SCOPE_struct