Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
cz::muni::stanse::threadchecker::graph::AbstractDependencyRule
cz::muni::stanse::threadchecker::AbstractFunctionState
cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationJoinListener
cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet
cz::muni::stanse::gui::ActionCheckForBugs
cz::muni::stanse::gui::ActionCloseActiveTab
cz::muni::stanse::gui::ActionCloseAllTabs
cz::muni::stanse::gui::ActionConfigure
cz::muni::stanse::gui::ActionOpenSourceCodeFile
cz::muni::stanse::gui::ActionSort
cz::muni::stanse::gui::ActiveOpenedFileEnumerator
cz::muni::stanse::configuration::source_enumeration::AllOpenedFilesEnumerator
cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider
cz::muni::stanse::codestructures::ArgumentPassingManager
cz::muni::stanse::threadchecker::graph::Assignment
cz::muni::stanse::automatonchecker::AutomatonCheckerStatic checker which is able to detect locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks
cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
cz::muni::stanse::automatonchecker::AutomatonCheckerLogger
cz::muni::stanse::automatonchecker::AutomatonStateThis class represents automaton state for each automata class defined in XML automata definition file
cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo
cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo
cz::muni::stanse::automatonchecker::AutomatonStateContextItem
cz::muni::stanse::automatonchecker::AutomatonStateTransferManager
cz::muni::stanse::threadchecker::locks::BackTrack
cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowers
cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowersInterprocedural
cz::muni::stanse::statistics::BasicEvaluationStatistic
cz::muni::stanse::configuration::source_enumeration::BatchFileEnumerator
cz::muni::stanse::gui::ButtonTabComponent
cz::muni::stanse::codestructures::builders::CallGraphBuilder
cz::muni::stanse::utils::CallGraphToDot
cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
cz::muni::stanse::automatonchecker::CallSiteDetector
cz::muni::stanse::lockchecker::CallStack
cz::muni::stanse::pointeranalyzer::shapirohorwitz::CategorizationProvider
cz::muni::stanse::codestructures::CFG
cz::muni::stanse::codestructures::CFGBranchNode
cz::muni::stanse::codestructures::CFGBreakNode
cz::muni::stanse::cparser::CFGEvaluator
cz::muni::stanse::threadchecker::graph::CFGGraphState
cz::muni::stanse::codestructures::CFGHandle
cz::muni::stanse::codestructures::CFGJoinNode
cz::muni::stanse::codestructures::CFGNode
cz::muni::stanse::codestructures::traversal::CFGNodeFollowers
cz::muni::stanse::codestructures::traversal::CFGNodeFollowersInterprocedural
cz::muni::stanse::codestructures::CFGNodeNumber
cz::muni::stanse::codestructures::CFGPart
cz::muni::stanse::codestructures::traversal::CFGPathVisitor
cz::muni::stanse::codestructures::CFGsNavigator
cz::muni::stanse::lockchecker::CFGStates
cz::muni::stanse::threadchecker::CFGTransitAlgorithm 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
cz::muni::stanse::codestructures::traversal::CFGTraversal
cz::muni::stanse::codestructures::traversal::CFGTraversationContainer< T >
cz::muni::stanse::codestructures::traversal::CFGTraversationQueue< T >
cz::muni::stanse::codestructures::traversal::CFGTraversationStack< T >
cz::muni::stanse::codestructures::traversal::CFGvisitor
cz::muni::stanse::checker::Checker
cz::muni::stanse::configuration::CheckerConfiguration
cz::muni::stanse::checker::CheckerCreator
cz::muni::stanse::checker::CheckerErrorRepresent output from checkers, which is the error found in the source file (reprezented by set of CFGs)
cz::muni::stanse::automatonchecker::CheckerErrorBuilderProvides static method buildErrorList which compute the checker-errors from automata states at PattenLocations assigned to matching source code locacions by use of error transition rules defined in XML automata definition file
cz::muni::stanse::lockchecker::CheckerErrorFilter
cz::muni::stanse::lockchecker::CheckerErrorHolder
cz::muni::stanse::checker::CheckerErrorReceiver
cz::muni::stanse::statistics::CheckerErrorsGuiTracing
cz::muni::stanse::statistics::CheckerErrorsSorter
cz::muni::stanse::checker::CheckerErrorTrace
cz::muni::stanse::checker::CheckerErrorTraceLocation
cz::muni::stanse::checker::CheckerExceptionDefines base class for all the exceptions which can be thrown in concrete checkers
cz::muni::stanse::checker::CheckerFactory
cz::muni::stanse::checker::CheckerProgressMonitor
cz::muni::stanse::gui::CheckersConfurationManager
cz::muni::stanse::threadchecker::CheckerSettings
cz::muni::stanse::checker::CheckingFailed
cz::muni::stanse::checker::CheckingResult
cz::muni::stanse::checker::CheckingSuccess
cz::muni::stanse::gui::ChooseCheckerDialog
cz::muni::stanse::gui::ChooseCheckerManager
cz::muni::stanse::utils::ClassLocation
cz::muni::stanse::utils::ClassLogger
cz::muni::stanse::utils::ClassURL
cz::muni::stanse::CmdLineManager
cz::muni::stanse::threadchecker::CodeAnalyzer
cz::muni::stanse::utils::msgformat::ColumnMessageFormatter
cz::muni::stanse::automatonchecker::ComposedAutomatonID
cz::muni::stanse::statistics::ComposedSectionedMessagesStat
cz::muni::stanse::statistics::Compute
cz::muni::stanse::lockchecker::Configuration
cz::muni::stanse::configuration::Configuration
cz::muni::stanse::threadchecker::config::ConfigurationCreator
cz::muni::stanse::gui::ConfigurationDialog
cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessorsInstances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code
cz::muni::stanse::gui::ConsoleManager
cz::muni::stanse::lockchecker::Counter
cz::muni::stanse::cparser::CUnit
cz::muni::stanse::threadchecker::graph::Cycle
cz::muni::stanse::threadchecker::exceptions::CycleException
cz::muni::stanse::threadchecker::graph::DependencyCycleDetector
cz::muni::stanse::threadchecker::graph::DependencyGraph
cz::muni::stanse::threadchecker::graph::DependencyRule
cz::muni::stanse::configuration::source_enumeration::DirectorySourceEnumerator
cz::muni::stanse::statistics::DocumentToFileWriter
cz::muni::stanse::statistics::DummyEvaluationStatistic
cz::muni::stanse::threadchecker::graph::Edge
cz::muni::stanse::codestructures::ElementCFGdictionary
cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >
cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClassJoinListener
cz::muni::stanse::lockchecker::ErrorGenerator
cz::muni::stanse::lockchecker::ErrorHolder
cz::muni::stanse::statistics::ErrorMessagesStatsBuilder
cz::muni::stanse::automatonchecker::ErrorRule
cz::muni::stanse::gui::ErrorsTreeManager
cz::muni::stanse::automatonchecker::ErrorTracesListCreator
cz::muni::stanse::gui::ErrorTracingManager
cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType
cz::muni::stanse::statistics::EvaluationStatistic
cz::muni::stanse::cparser::ExprEvaluator
cz::muni::stanse::automatonchecker::FalsePositivesDetector
cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator
cz::muni::stanse::automatonchecker::FalsePositivesDetectorFactory
cz::muni::stanse::utils::FileAlgo
cz::muni::stanse::gui::FileChooserFileFilter
cz::muni::stanse::configuration::source_enumeration::FileListEnumerator
cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowers
cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowersInterprocedural
cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatch
cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatchCreator
cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock
cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlockCreator
cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter
cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilterCreator
cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter
cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator
cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilter
cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator
cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter
cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator
cz::muni::stanse::automatonchecker::FPDNoreturnFunctions
cz::muni::stanse::automatonchecker::FPDNoreturnFunctionsCreator
cz::muni::stanse::threadchecker::Function
cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType
cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType
cz::muni::stanse::threadchecker::FunctionState
cz::muni::stanse::lockchecker::FunctionStateSummary
cz::muni::stanse::lockchecker::FunctionSummary
cz::muni::stanse::threadchecker::debug::GraphView
cz::muni::stanse::threadchecker::debug::GraphViz
cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
cz::muni::stanse::pointeranalyzer::InvalidPointerOperationException
cz::muni::stanse::threadchecker::locks::JoinNode
cz::muni::stanse::gui::JTreeAlgo
cz::muni::stanse::codestructures::LazyInternalStructures
cz::muni::stanse::codestructures::LazyInternalStructuresInter
cz::muni::stanse::codestructures::LazyInternalStructuresIntra
cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType
cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType
cz::muni::stanse::lockchecker::Lock
cz::muni::stanse::threadchecker::locks::Lock
cz::muni::stanse::lockchecker::LockChecker
cz::muni::stanse::lockchecker::LockCheckerCreator
cz::muni::stanse::lockchecker::LockError
cz::muni::stanse::threadchecker::locks::LockStack
cz::muni::stanse::gui::MainWindow
cz::muni::stanse::utils::Make
cz::muni::stanse::configuration::source_enumeration::MakefileSourceEnumerator
cz::muni::stanse::statistics::MergeDocuments
cz::muni::stanse::utils::msgformat::MessageFormatter
cz::muni::stanse::statistics::MessagesStat
cz::muni::stanse::codestructures::builders::NodeToCFGdictionaryBuilder
cz::muni::stanse::lockchecker::Occurrences
cz::muni::stanse::gui::OpenedFilesAccessor
cz::muni::stanse::gui::OpenedSourceFilesManager
cz::muni::stanse::utils::Pair< A, B >
cz::muni::stanse::codestructures::ParserExceptionDefines base class for all the exceptions which can be thrown in concrete checkers
cz::muni::stanse::codestructures::PassingSolver
cz::muni::stanse::automatonchecker::PatternLocation
cz::muni::stanse::automatonchecker::PatternLocationBuilder
cz::muni::stanse::automatonchecker::PatternLocationCreator
cz::muni::stanse::statistics::PerformanceData
cz::muni::stanse::statistics::PerformanceDataBuilder
cz::muni::stanse::statistics::PerfRecord
cz::muni::stanse::pointeranalyzer::PointerAnalyzer
cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
cz::muni::stanse::pointeranalyzer::steensgaard::PointerType
cz::muni::stanse::pointeranalyzer::shapirohorwitz::PointerType
cz::muni::stanse::pointeranalyzer::PointsToAnalyzer
cz::muni::stanse::threadchecker::graph::ProcessVertex
cz::muni::stanse::threadchecker::graph::RAG
cz::muni::stanse::threadchecker::exceptions::RAGException
cz::muni::stanse::reachabilitychecker::ReachabilityCheckerStatic checker which is able to detect unrechable code
cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
cz::muni::stanse::configuration::source_enumeration::ReferencedSourceCodeFileEnumerator
cz::muni::stanse::threadchecker::graph::Request
cz::muni::stanse::threadchecker::graph::ResourceVertex
cz::muni::stanse::codestructures::ReturnValuePassingManager
cz::muni::stanse::statistics::SectionedMessagesStat
cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer
cz::muni::stanse::automatonchecker::SimpleAutomatonID
cz::muni::stanse::gui::SortingTreeNode< T >
cz::muni::stanse::configuration::source_enumeration::SourceCodeFilesEnumerator
cz::muni::stanse::configuration::source_enumeration::SourceCodeFilesExceptionDefines base class for all the exceptions which can be thrown in SourceCodeEnumerators
cz::muni::stanse::configuration::SourceConfiguration
cz::muni::stanse::gui::SourceConfigurationManager
cz::muni::stanse::gui::SpecifySourceFilePathNameManager
cz::muni::stanse::threadchecker::locks::SpinLock
cz::muni::stanse::Stanse
cz::muni::stanse::cparser::StanseErrorNode
cz::muni::stanse::cparser::StanseTree
cz::muni::stanse::cparser::StanseTreeAdaptor
cz::muni::stanse::codestructures::builders::StartFunctionsSetBuilder
cz::muni::stanse::lockchecker::State
cz::muni::stanse::lockchecker::StateRepository
cz::muni::stanse::statistics::StatisticalDatabaseBuilder
cz::muni::stanse::statistics::StatisticalDatabaseLoader
cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer
cz::muni::stanse::pointeranalyzer::shapirohorwitz::SteensgaardCategorizationProvider
cz::muni::stanse::utils::StreamAlgo
cz::muni::stanse::statistics::StringToFileWriter
cz::muni::stanse::lockchecker::Summaries
cz::muni::stanse::lockchecker::SummariesBuilder
cz::muni::stanse::statistics::TabbedStringStream
cz::muni::stanse::threadchecker::ThreadChecker
cz::muni::stanse::threadchecker::ThreadCheckerCreator
cz::muni::stanse::threadchecker::ThreadInfo
cz::muni::stanse::utils::msgformat::TimedMessageSequenceFormatter
cz::muni::stanse::utils::TimeManager
cz::muni::stanse::automatonchecker::TransitionRule
cz::muni::stanse::utils::Triple< A, B, C >
cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable
cz::muni::stanse::codestructures::UnitHolds all the relevant data about the code in one compilation unit (usually a file)
cz::muni::stanse::codestructures::UnitManager
cz::muni::stanse::codestructures::UnitManagerLRU
cz::muni::stanse::threadchecker::locks::UnlockSet
cz::muni::stanse::lockchecker::Util
cz::muni::stanse::threadchecker::debug::Utils
cz::muni::stanse::pointeranalyzer::shapirohorwitz::VariableCounter
cz::muni::stanse::lockchecker::VarTransformations
cz::muni::stanse::threadchecker::graph::Vertex
cz::muni::stanse::utils::xmlpatterns::XMLAlgo
cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
cz::muni::stanse::automatonchecker::XMLAutomatonSyntaxErrorExceptionDescribes a syntax error in XML file with automaton definition
cz::muni::stanse::automatonchecker::XMLErrorRule
cz::muni::stanse::codestructures::builders::XMLLinearizeASTElement
cz::muni::stanse::utils::xmlpatterns::XMLPattern
cz::muni::stanse::utils::xmlpatterns::XMLPatternVariablesAssignment
cz::muni::stanse::automatonchecker::XMLRuleStringParser
cz::muni::stanse::automatonchecker::XMLTransitionRule

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6