File List

Here is a list of all files with brief descriptions:
src/cparser-c/main.c
src/cz/muni/stanse/CmdLineManager.java
src/cz/muni/stanse/Stanse.java
src/cz/muni/stanse/automatonchecker/AutomatonChecker.javaDefines public final class AutomatonChecker which provides static program verification specialized to locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks
src/cz/muni/stanse/automatonchecker/AutomatonCheckerCreator.java
src/cz/muni/stanse/automatonchecker/AutomatonCheckerLogger.java
src/cz/muni/stanse/automatonchecker/AutomatonState.javaHere are defined automata states for all the automata defined in XML automata definition file of automatonchecker package
src/cz/muni/stanse/automatonchecker/AutomatonStateCFGcontextAlgo.java
src/cz/muni/stanse/automatonchecker/AutomatonStateContextAlgo.java
src/cz/muni/stanse/automatonchecker/AutomatonStateContextItem.java
src/cz/muni/stanse/automatonchecker/AutomatonStateTransferManager.java
src/cz/muni/stanse/automatonchecker/CallSiteCFGNavigator.java
src/cz/muni/stanse/automatonchecker/CallSiteDetector.java
src/cz/muni/stanse/automatonchecker/CheckerErrorBuilder.javaImplements final class CheckerErrorBuilder which is responsible to compute all checker errors which can be translated from automata states at PaternLocations
src/cz/muni/stanse/automatonchecker/ComposedAutomatonID.java
src/cz/muni/stanse/automatonchecker/ConnectPatternLocationToSuccessors.javaImplements final class ConnectPatternLocationToSuccessors which is responsible for creating connections between PatternLocation instances with respect to control-flow of source code
src/cz/muni/stanse/automatonchecker/ErrorRule.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/automatonchecker/ErrorTracesListCreator.java
src/cz/muni/stanse/automatonchecker/FalsePositivesDetector.java
src/cz/muni/stanse/automatonchecker/FalsePositivesDetectorCreator.java
src/cz/muni/stanse/automatonchecker/FalsePositivesDetectorFactory.java
src/cz/muni/stanse/automatonchecker/FPDConditionalPathsMismatch.java
src/cz/muni/stanse/automatonchecker/FPDLockingElimHasUnlock.java
src/cz/muni/stanse/automatonchecker/FPDMemoryAssignedFilter.java
src/cz/muni/stanse/automatonchecker/FPDMemoryGlobalVarFilter.java
src/cz/muni/stanse/automatonchecker/FPDMemoryNestedCheckFilter.java
src/cz/muni/stanse/automatonchecker/FPDMemoryReassignedFilter.java
src/cz/muni/stanse/automatonchecker/FPDNoreturnFunctions.java
src/cz/muni/stanse/automatonchecker/PatternLocation.java
src/cz/muni/stanse/automatonchecker/PatternLocationBuilder.java
src/cz/muni/stanse/automatonchecker/PatternLocationCreator.java
src/cz/muni/stanse/automatonchecker/SimpleAutomatonID.java
src/cz/muni/stanse/automatonchecker/TransitionRule.java
src/cz/muni/stanse/automatonchecker/XMLAutomatonDefinition.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/automatonchecker/XMLAutomatonSyntaxErrorException.javaImplements exception class which represents any syntax error in XML files, which contains automaton definitions
src/cz/muni/stanse/automatonchecker/XMLErrorRule.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/automatonchecker/XMLRuleStringParser.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/automatonchecker/XMLTransitionRule.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/checker/Checker.java
src/cz/muni/stanse/checker/CheckerCreator.java
src/cz/muni/stanse/checker/CheckerError.java
src/cz/muni/stanse/checker/CheckerErrorReceiver.java
src/cz/muni/stanse/checker/CheckerErrorTrace.java
src/cz/muni/stanse/checker/CheckerErrorTraceLocation.java
src/cz/muni/stanse/checker/CheckerException.java
src/cz/muni/stanse/checker/CheckerFactory.java
src/cz/muni/stanse/checker/CheckerProgressMonitor.java
src/cz/muni/stanse/checker/CheckingFailed.java
src/cz/muni/stanse/checker/CheckingResult.java
src/cz/muni/stanse/checker/CheckingSuccess.java
src/cz/muni/stanse/codestructures/ArgumentPassingManager.java
src/cz/muni/stanse/codestructures/CFG.java
src/cz/muni/stanse/codestructures/CFGBranchNode.java
src/cz/muni/stanse/codestructures/CFGBreakNode.java
src/cz/muni/stanse/codestructures/CFGHandle.java
src/cz/muni/stanse/codestructures/CFGJoinNode.java
src/cz/muni/stanse/codestructures/CFGNode.java
src/cz/muni/stanse/codestructures/CFGNodeNumber.java
src/cz/muni/stanse/codestructures/CFGPart.java
src/cz/muni/stanse/codestructures/CFGsNavigator.java
src/cz/muni/stanse/codestructures/ElementCFGdictionary.java
src/cz/muni/stanse/codestructures/InterproceduralCFGsNavigator.java
src/cz/muni/stanse/codestructures/IntraproceduralCFGsNavigator.java
src/cz/muni/stanse/codestructures/LazyInternalStructures.java
src/cz/muni/stanse/codestructures/LazyInternalStructuresInter.java
src/cz/muni/stanse/codestructures/LazyInternalStructuresIntra.java
src/cz/muni/stanse/codestructures/ParserException.java
src/cz/muni/stanse/codestructures/PassingSolver.java
src/cz/muni/stanse/codestructures/ReturnValuePassingManager.java
src/cz/muni/stanse/codestructures/Unit.java
src/cz/muni/stanse/codestructures/UnitManager.java
src/cz/muni/stanse/codestructures/UnitManagerLRU.java
src/cz/muni/stanse/codestructures/builders/CallGraphBuilder.java
src/cz/muni/stanse/codestructures/builders/NodeToCFGdictionaryBuilder.java
src/cz/muni/stanse/codestructures/builders/StartFunctionsSetBuilder.java
src/cz/muni/stanse/codestructures/builders/XMLLinearizeASTElement.java
src/cz/muni/stanse/codestructures/traversal/CFGPathVisitor.java
src/cz/muni/stanse/codestructures/traversal/CFGTraversal.java
src/cz/muni/stanse/codestructures/traversal/CFGvisitor.java
src/cz/muni/stanse/configuration/CheckerConfiguration.java
src/cz/muni/stanse/configuration/Configuration.java
src/cz/muni/stanse/configuration/SourceConfiguration.java
src/cz/muni/stanse/configuration/source_enumeration/AllOpenedFilesEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/BatchFileEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/DirectorySourceEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/FileListEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/MakefileSourceEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/ReferencedSourceCodeFileEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/SourceCodeFilesEnumerator.java
src/cz/muni/stanse/configuration/source_enumeration/SourceCodeFilesException.java
src/cz/muni/stanse/cparser/CFGEvaluator.java
src/cz/muni/stanse/cparser/CUnit.java
src/cz/muni/stanse/cparser/StanseErrorNode.java
src/cz/muni/stanse/cparser/StanseTree.java
src/cz/muni/stanse/cparser/StanseTreeAdaptor.java
src/cz/muni/stanse/gui/ActionCheckForBugs.java
src/cz/muni/stanse/gui/ActionCloseActiveTab.java
src/cz/muni/stanse/gui/ActionCloseAllTabs.java
src/cz/muni/stanse/gui/ActionConfigure.java
src/cz/muni/stanse/gui/ActionOpenSourceCodeFile.java
src/cz/muni/stanse/gui/ActionSort.java
src/cz/muni/stanse/gui/ActiveOpenedFileEnumerator.java
src/cz/muni/stanse/gui/ButtonTabComponent.java
src/cz/muni/stanse/gui/CheckersConfurationManager.java
src/cz/muni/stanse/gui/ChooseCheckerDialog.java
src/cz/muni/stanse/gui/ChooseCheckerManager.java
src/cz/muni/stanse/gui/ConfigurationDialog.java
src/cz/muni/stanse/gui/ConsoleManager.java
src/cz/muni/stanse/gui/ErrorsTreeManager.java
src/cz/muni/stanse/gui/ErrorTracingManager.java
src/cz/muni/stanse/gui/FileChooserFileFilter.java
src/cz/muni/stanse/gui/JTreeAlgo.java
src/cz/muni/stanse/gui/MainWindow.java
src/cz/muni/stanse/gui/OpenedFilesAccessor.java
src/cz/muni/stanse/gui/OpenedSourceFilesManager.java
src/cz/muni/stanse/gui/SortingTreeNode.java
src/cz/muni/stanse/gui/SourceConfigurationManager.java
src/cz/muni/stanse/gui/SpecifySourceFilePathNameManager.java
src/cz/muni/stanse/lockchecker/CallStack.java
src/cz/muni/stanse/lockchecker/CFGStates.java
src/cz/muni/stanse/lockchecker/CheckerErrorFilter.java
src/cz/muni/stanse/lockchecker/CheckerErrorHolder.java
src/cz/muni/stanse/lockchecker/Configuration.java
src/cz/muni/stanse/lockchecker/Counter.java
src/cz/muni/stanse/lockchecker/ErrorGenerator.java
src/cz/muni/stanse/lockchecker/ErrorHolder.java
src/cz/muni/stanse/lockchecker/FunctionStateSummary.java
src/cz/muni/stanse/lockchecker/FunctionSummary.java
src/cz/muni/stanse/lockchecker/Lock.java
src/cz/muni/stanse/lockchecker/LockChecker.java
src/cz/muni/stanse/lockchecker/LockCheckerCreator.java
src/cz/muni/stanse/lockchecker/LockError.java
src/cz/muni/stanse/lockchecker/Occurrences.java
src/cz/muni/stanse/lockchecker/State.java
src/cz/muni/stanse/lockchecker/StateRepository.java
src/cz/muni/stanse/lockchecker/Summaries.java
src/cz/muni/stanse/lockchecker/SummariesBuilder.java
src/cz/muni/stanse/lockchecker/Util.java
src/cz/muni/stanse/lockchecker/VarTransformations.java
src/cz/muni/stanse/pointeranalyzer/InvalidPointerOperationException.java
src/cz/muni/stanse/pointeranalyzer/PointerAnalyzer.java
src/cz/muni/stanse/pointeranalyzer/PointerAnalyzerCreator.java
src/cz/muni/stanse/pointeranalyzer/PointsToAnalyzer.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AbstractLocation.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AbstractLocationJoinListener.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AbstractLocationSet.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AndersenCategorizationProvider.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/CategorizationProvider.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/FunctionPointerType.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/LocationPointerType.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/PointerType.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/ShapiroHorwitzAnalyzer.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/SteensgaardCategorizationProvider.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/TypeTable.java
src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/VariableCounter.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/EquivalenceClass.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/EquivalenceClassJoinListener.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/EvaluatedType.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/FunctionPointerType.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/LocationPointerType.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/PointerType.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/SteensgaardAnalyzer.java
src/cz/muni/stanse/pointeranalyzer/steensgaard/TypeTable.java
src/cz/muni/stanse/reachabilitychecker/ReachabilityChecker.java
src/cz/muni/stanse/reachabilitychecker/ReachabilityCheckerCreator.java
src/cz/muni/stanse/statistics/BasicEvaluationStatistic.java
src/cz/muni/stanse/statistics/CheckerErrorsGuiTracing.java
src/cz/muni/stanse/statistics/CheckerErrorsSorter.java
src/cz/muni/stanse/statistics/DocumentToFileWriter.java
src/cz/muni/stanse/statistics/DummyEvaluationStatistic.java
src/cz/muni/stanse/statistics/ErrorMessagesStatsBuilder.java
src/cz/muni/stanse/statistics/EvaluationStatistic.java
src/cz/muni/stanse/statistics/MergeDocuments.java
src/cz/muni/stanse/statistics/PerformanceDataBuilder.java
src/cz/muni/stanse/statistics/StatisticalDatabaseBuilder.java
src/cz/muni/stanse/statistics/StatisticalDatabaseLoader.java
src/cz/muni/stanse/statistics/StringToFileWriter.java
src/cz/muni/stanse/statistics/TabbedStringStream.java
src/cz/muni/stanse/threadchecker/AbstractFunctionState.java
src/cz/muni/stanse/threadchecker/CFGTransit.java
src/cz/muni/stanse/threadchecker/CheckerSettings.java
src/cz/muni/stanse/threadchecker/CodeAnalyzer.java
src/cz/muni/stanse/threadchecker/Function.java
src/cz/muni/stanse/threadchecker/FunctionState.java
src/cz/muni/stanse/threadchecker/ThreadChecker.java
src/cz/muni/stanse/threadchecker/ThreadCheckerCreator.java
src/cz/muni/stanse/threadchecker/ThreadInfo.java
src/cz/muni/stanse/threadchecker/config/ConfigurationCreator.java
src/cz/muni/stanse/threadchecker/debug/GraphView.java
src/cz/muni/stanse/threadchecker/debug/GraphViz.java
src/cz/muni/stanse/threadchecker/debug/Utils.java
src/cz/muni/stanse/threadchecker/exceptions/CycleException.java
src/cz/muni/stanse/threadchecker/exceptions/RAGException.java
src/cz/muni/stanse/threadchecker/graph/AbstractDependencyRule.java
src/cz/muni/stanse/threadchecker/graph/Assignment.java
src/cz/muni/stanse/threadchecker/graph/CFGGraphState.java
src/cz/muni/stanse/threadchecker/graph/Cycle.java
src/cz/muni/stanse/threadchecker/graph/DependencyCycleDetector.java
src/cz/muni/stanse/threadchecker/graph/DependencyGraph.java
src/cz/muni/stanse/threadchecker/graph/DependencyRule.java
src/cz/muni/stanse/threadchecker/graph/Edge.java
src/cz/muni/stanse/threadchecker/graph/ProcessVertex.java
src/cz/muni/stanse/threadchecker/graph/RAG.java
src/cz/muni/stanse/threadchecker/graph/Request.java
src/cz/muni/stanse/threadchecker/graph/ResourceVertex.java
src/cz/muni/stanse/threadchecker/graph/Vertex.java
src/cz/muni/stanse/threadchecker/locks/BackTrack.java
src/cz/muni/stanse/threadchecker/locks/JoinNode.java
src/cz/muni/stanse/threadchecker/locks/Lock.java
src/cz/muni/stanse/threadchecker/locks/LockStack.java
src/cz/muni/stanse/threadchecker/locks/SpinLock.java
src/cz/muni/stanse/threadchecker/locks/UnlockSet.java
src/cz/muni/stanse/utils/CallGraphToDot.java
src/cz/muni/stanse/utils/ClassLocation.java
src/cz/muni/stanse/utils/ClassLogger.java
src/cz/muni/stanse/utils/ClassURL.java
src/cz/muni/stanse/utils/FileAlgo.java
src/cz/muni/stanse/utils/Make.java
src/cz/muni/stanse/utils/Pair.java
src/cz/muni/stanse/utils/StreamAlgo.java
src/cz/muni/stanse/utils/TimeManager.java
src/cz/muni/stanse/utils/Triple.java
src/cz/muni/stanse/utils/msgformat/ColumnMessageFormatter.java
src/cz/muni/stanse/utils/msgformat/MessageFormatter.java
src/cz/muni/stanse/utils/msgformat/TimedMessageSequenceFormatter.java
src/cz/muni/stanse/utils/xmlpatterns/XMLAlgo.java
src/cz/muni/stanse/utils/xmlpatterns/XMLPattern.javaCopyright (c) 2008-2009 Marek Trtik
src/cz/muni/stanse/utils/xmlpatterns/XMLPatternVariablesAssignment.java

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