src/cparser-c/main.c | |
src/cz/muni/stanse/CmdLineManager.java | |
src/cz/muni/stanse/Stanse.java | |
src/cz/muni/stanse/automatonchecker/AutomatonChecker.java | Defines 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.java | Here 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.java | Implements 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.java | Implements 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.java | Copyright (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.java | Copyright (c) 2008-2009 Marek Trtik |
src/cz/muni/stanse/automatonchecker/XMLAutomatonSyntaxErrorException.java | Implements exception class which represents any syntax error in XML files, which contains automaton definitions |
src/cz/muni/stanse/automatonchecker/XMLErrorRule.java | Copyright (c) 2008-2009 Marek Trtik |
src/cz/muni/stanse/automatonchecker/XMLRuleStringParser.java | Copyright (c) 2008-2009 Marek Trtik |
src/cz/muni/stanse/automatonchecker/XMLTransitionRule.java | Copyright (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.java | Copyright (c) 2008-2009 Marek Trtik |
src/cz/muni/stanse/utils/xmlpatterns/XMLPatternVariablesAssignment.java |